Minoration de la hauteur de Néron-Tate sur les surfaces abéliennes.

Soit k un corps de nombres. On s'intéresse dans cet exposé à 
une conjecture de Lang et Silverman prédisant la possibilité de
minorer la hauteur de Néron-Tate des points k-rationnels sur une
variété abélienne par la hauteur de Faltings de cette variété. On se
concentrera sur le cas de la dimension 2 et on discutera des
applications d'une telle minoration.