ltats – avec une généralité minimale, souvent insuffisante pour les applications –

et une idée de leur démonstration. Pour des résultats complets, ou des démonstrations

détaillées, SGA 4 reste indispensable.

Le “Rapport sur la formule des traces” contient une démonstration complété de

la formule des traces pour l’endomorphisme de Frobenius. La démonstration est celle

donnée par Grothendieck dans SGA 5, élaguée de tout détail inutile. Ce rapport

devrait permettre à utilisateur d’oublier SGA 5, qu’on pourra considérer comme une

série de digression, certaines très intéressantes. Son existence permettra de publier

prochainement SGA 5 tel quel. Il est complété par l’exposé “Applications de la

formule des traces aux sommes trigonométriques” qui explique comment la formule
des traces permet l’étude de sommes trigonométriques, et donne des exemples..