Thèse de Simon André

"Groupes hyperboliques et logique du premier ordre" thèse de doctorat de l'université de Rennes 1 en mathématiques et interactions.