Les paragraphes 1 et 2 rappellent les circonstances de l'exposé oral, tandis que le paragraphe 3 aborde un aspect particulier de la théorie de l'élimination : une notion de multiplicité d'un idéal en un point. Cette partie est le fruit de passionnantes discussions avec F. Amoroso.

On décrit des preuves galoisiennes des versions logarithmique et exponentielle de la conjecture de Schanuel, pour les variétés abéliennes sur un corps de fonctions.

Soit $\Gamma$ un groupe arithmétique agissant proprement discontinument sur $ℌ\times ℌ$ de covolume fini. On sait que l’espace $\Gamma \setminus ℌ\times ℌ$ est isomorphe à l’ensemble des points complexes d’une variété algébrique quasi-projective $V_{\Gamma }$ définie sur $\overline{\mathbb{Q}}$. Soit $J_{\Gamma }$ : $ℌ\times ℌ\to V_{\Gamma }\left(ℂ\right)$ une application holomorphe invariante par l’action de $\Gamma$ et correctement normalisée. Grâce au résultats obtenus par P. Cohen, H. Shiga et J. Wolfart, on sait que $J_{\Gamma }(z_1,z_2)\notin V_{\Gamma }\left(\overline{\mathbb{Q}}\right)$ si $z=(z_1,z_2)$ est un point algébrique non spécial de $ℌ\times ℌ$. Dans cet article, nous allons montrer que nous avons $J_{\Gamma }(z_1,z_2)\notin V_{\Gamma }\left(\overline{\mathbb{Q}}\right)$ si $z_1$...