La conjecture de Birch et Swinnerton-Dyer (BSD) relie le groupe des points rationnels d'une courbe elliptique E/Q à la fonction L de E, définie à partir de donnés locaux. Un outil fondamental dans l'étude de BSD est la formule de Gross-Zagier, qui exprime la hauteur d'un point rationnel d'origine modulaire (point de Heegner) à l'aide de la dérivée centrale de la fonction L. Je vais parler de l'analogue p-adique de cette formule, due originairement à Perrin-Riou, et de quelques généralisations et applications.