Mathématiques à rebours (Reverse math) et Calculs analogiques · LIX - Laboratoire d'informatique, Doctorat · La Géode