Soit une forme modulaire de poids .
La fonction -adique
associée à vérifie la propriété d'interpolation
suivante
On dit que
a un zéro trivial en
lorsque
En 1986, Mazur, Tate et Teitelbaum
ont formulé un conjecture qui donne une interprétation arithmétique
de la dérivée de
en un zéro trivial
si a réduction semistable en . Cette conjecture a été
démontrée en 1998-2000 par deux méthodes completement différentes
(Kato-Kurihara-Tsuji, Greenberg-Stevens).
Dans cet exposé on va
formuler et prouver l'analogue de cette conjecture dans le cas de bonne réduction.