Le calcul epsilon dans la recherche de preuves · LIX - Laboratoire d'informatique, Doctorat · La Géode