Résume | Dans certains cas, des congruences entre formes automorphes donnent lieu à congruences entre les (éléments zêta liés aux) valeurs spéciales des fonctions L associées. Je décrirai un exemple de ce phénomène dans le cas des formes de Hilbert, mettant en évidence le rôle joué dans la preuve par la fonctorialité de Jacquet-Langlands géométrique et par le lemme de Ihara. Ensuite, je donnerai une démonstration de ce lemme pour les variétés de Shimura quaternioniques (travail en cours en commun avec Caraiani). |