Synthèse, manipulation et transformation de programmes — Institut de recherche d'informatique et d'automatique. Service Synthèse et orientation de la recherche en informatique. France