Des différents temps de la recherche mathématique à l’obsession de la preuve
De la rigueur, du perfectionnisme, et une médaille Fields : un parcours impressionnant
Logique mathématique, informatique théorique, et esthétique des théorèmes
Ouvrir la voie des mathématiques à toutes et tous, créer des aventures collectives