Soit une forme modulaire de poids et Steinberg en . Sous certaines hypothèses sur le conducteur de , on donne une formule pour la dérivée en de la fonction -adique pour le carré symétrique de , démontrant ainsi une conjecture de Benois. Crucial pour la démonstration est la fonction -adique de Böcherer et Schmidt, dont on rappellera la construction.