What is the type of organization of the institution where the author of the article 'Programming and Checking Data Types with REVE' works?
government
Jean-Pierre Jouannaud is Person. Hubert Comon et al.: Decidable Problems in Shallow Equational Theories (Extended Abstract). (1985) authored by Jean-Pierre Jouannaud. Jean-Pierre Jouannaud was born on 21 May 1947 in Aix-les-Bains, France. He was the author of "S Without Constructors (1986) and "Confluence of drag rewriting". He modified 2023-10-18.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: What is the type of organization of the institution where the author of the article 'Programming and Checking Data Types with REVE' works?
Context: Jean-Pierre Jouannaud is Person. Hubert Comon et al.: Decidable Problems in Shallow Equational Theories (Extended Abstract). (1985) authored by Jean-Pierre Jouannaud. Jean-Pierre Jouannaud was born on 21 May 1947 in Aix-les-Bains, France. He was the author of "S Without Constructors (1986) and "Confluence of drag rewriting". He modified 2023-10-18.
[/INST] Answer:
