une conjecture de Lang et Silverman affirme que la hauteur de N\'eron-Tated'un point d'ordre infini d'une vari\'et\'e ab\'elienne est au moins \'egale, \`a uneconstante multiplicative pr\`es \`a la hauteur diff\'erentielle de la vari\'et\'e ab\'eliennesous-jacente.Apr\`es avoir \'evoqu\'e le cas des corps de nombres, nous nous concentrerons sur lesvari\'et\'es ab\'eliennes d\'efinies sur un corps de fonctions.
