Philippe Ithier Biographie Traduit de l'anglais en français. Maître de conférences à l'Université de Paris 7 (en 1995). Contributions de Philippe Ithier Traduction Théorie de la récursivité pour la métamathématique Raymond Smullyan Masson