Nous présenterons des applications récentes de la théorie des modèles à des questions de géométrie diophantienne sur les corps de nombres. Nous indiquerons en particulier comment E. Hrushovski, en utilisant la théorie des corps algébriquement clos munis d'un automorphisme, donne une nouvelle démonstration de la conjecture de Manin-Mumford, démonstration qui produit de bonnes bornes effectives.