Compilation Formellement Vérifiée d'un Langage de Programmation Orienté Interaction · ENAC-LAB - Laboratoire de Recherche ENAC, Doctorat · La Géode