Soutenance de thèse : M. Pierre BOUTRY, "On the Formalization of Foundations of Geometry".

Composition du jury : M. P. SCHRECK, Directeur de thèse, Professeur Rapporteurs : M. G. DOWEK, Directeur de recherches, LSV M. P. JANICIC, Professeur, University of Belgrade Autres membres du jury : M. T. COQUAND, Professeur, University of Gottenburg Mme. A. MAHBOUBI, Chargée de recherches, INRIA Saclay M. J. NARBOUX, Maître de conférences, Unistra