Title: Méthodes logiques en géométrie diophantienne
Subjects: Diophantine analysis