Résume | La conjecture d'Ax-Lindemann hyperbolique est un énoncé de transcendance fonctionnelle qui décrit l'adhérence des ``flots algébriques'' dans les variétés de Shimura. J'expliquerai la preuve de cette conjecture, obtenue avec Ullmo et Yafaev. J'expliquerai aussi la place de cet énoncé dans la stratégie de Pila-Zannier pour une preuve inconditionnelle de la conjecture d'André-Oort. |