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.