Equivariant trace formula mod p

Nous donnons une version équivariante de la formule des traces d'Anderson pour les L-fonctions modulo p. Comme application, nous montrons la conjecture de Stark pour les valeurs de fonctions L de Artin-Gross des modules de Drinfeld.