Preuves assistées par ordinateur
Parcours : DU Mathématiques et applications : recherche et interactions