Le but de la thèse est d'établir une version quantitative du théorème suivant : toute sous-variété d'une variété abélienne n'admet qu'un nombre fini d'approximations d'exposant strictement positif. Cet énoncé a été obtenu par Faltings en 1991 ; la majeure partie des outils qu'il utilise sont communs avec sa preuve de l'ex-conjecture de Mordell-Lang. Il implique en particulier une extension du théorème de Siegel conjecturée par Lang : toute variété abélienne n'a qu'un nombre fini de points entiers. On utilise la méthode de Vojta en suivant les travaux de Rémond (version quantitative de Mordell-Lang) : le coeur de la thèse consiste à établir une inégalité à la Vojta explicite ; on établit ensuite une inégalité à la Mumford avant d'en déduire un décompte des approximations exceptionnelles. Toutefois, le cas où la variété approchée contient des translatés de sous-variétés abéliennes non nulles nécessite d'imposer une condition supplémentaire pour parvenir à un décompte explicite : sans ces conditions, un tel décompte impliquerait dans certains cas un résultat effectif, qui semble hors de portée à l'heure actuelle.

Soit X un sous-schéma fermé d'une variété abélienne A sur un corps de nombres K. L'ancienne conjecture de Mordell-Lang nous assure que X(K) est une réunion finie de sous-ensembles a_i+Bj(K) où a_i est un point de X(K) et B_i est une sous-variété abélienne de A de sorte que le translaté aj+Bj soit contenu dans X. Dans cette thèse, nous montrerons un résultat permettant de majorer la hauteur des a_i en fonctions de la hauteur de X. On en déduira une majoration pour la hauteur des solutions d'une équation aux unités. En utilisant les mêmes méthodes, on obtiendra une majoration de la même forme pour la hauteur des points entiers d'une variété abélienne(plongé dans un espace projectif) privé d'un hyperplan. / Let be X a closed subscheme of an abelian variety on a number field K. Faltings proved the Mordell-Lang conjecture: there are points a_1 , ... ,a_n in X(K) and abelian subvarieties 8_1 , ... ,B_nin A such that a_i+B_i is in X and X(K) is equal to the union of aj+B_i(K). In this thesis, we proof a result wich gives a bound for the height of the point a_i with the height of X. We obtain a bound for the solutions of an unit equation. With the same method, we proof a similar result for the height of the integers points on an abelian variety (embedded in a projective space) minus a hyperplane.