La Logique mathématique a quelque chose à dire sur la Géométrie : ça peut étonner certains, mais il y a au moins un précédent ancien (Euclide). Je présenterai la démonstration, par Ehud Hrushovski, d'une conjecture de Lang de type mordellien, à propos des sous-groupes de type fini d'une variété abélienne, cette dernière étant supposée de trace nulle sur la clôture algébrique du corps de base (eh oui). C'est la première démonstration de cette conjecture qui soit complète pour la caractéristique $p$ . Elle a deux particularités ; la première est qu'elle est uniforme, ne dépendant que fort peu de la caractéristique ; la deuxième est que ce n'est qu'un sous-produit, un corollaire obtenu par hasard des tentatives de Hrushovski pour résoudre la conjecture principale qui a agité les théoriciens des modèles de la décennie passée.