Résume | Perrin-Riou has proved a p-adic form of the Gross-Zagiertheorem, relating the p-adic height pairing of a Heegner point to thecentral derivative of the p-adic L-function of an elliptic curve.Mazur and Rubin have since given a conjectural generalization of this,in which the Heegner point is replaced by the inverse limit of Heegnerpoints in an anticyclotomic tower, the p-adic height pairing isreplaced by a pairing valued in the Iwasawa algebra, and the derivativeof the p-adic L-function is replaced by the linear term of atwo-variable p-adic L-function. I will sketch a proof of Mazur andRubin's conjecture, and explain the connection with Perrin-Riou'sIwasawa main conjecture for Heegner points |