J'énoncerai le théorème et montrerai comment il implique certains théorèmes de finitude de l'analyse diophantienne (les théorèmes de Siegel et de Levin-Autissier).