Résume | On expliquera la démonstration par Hrushovski et Scanlon del'assertion suivante:si la conjecture de Mordell-Lang généralisée est vraie, alors elleest vraie uniformément.La démonstration s'appuie sur le théorème de constructibilité deChevalley et sur lethéorème de compacité de la logique du premier ordre. On expliqueraaussi brièvementcomment cette assertion peut être utilisée pour obtenir unedémonstration simplifiéede la conjecture de Mordell-Lang généralisée. |