Un théorème célèbre de Faltings affirme que les points rationnels sur un corps de nombres d'une sous-variété d'une variété abélienne ne sont pas denses dans cette sous-variété sauf si elle possède elle-même une structure de variété abélienne. Grâce au thèorème de Mordell-Weil, cet énoncé est équivalent à la non-densité de l'intersection de la sous-variété considérée avec un sous-groupe de type fini. Nous montrons comment la méthode introduite par Vojta et étendue par Faltings permet d'étudier des intersections plus générales que celles-ci.