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émonstrationsdétaillées, SGA 4 reste indispensable.Le
"Rapport sur la formule des traces" contient une démonstration complété
dela formule des traces pour l'endomorphisme de Frobenius. La
démonstration est celledonnée par Grothendieck dans SGA 5, élaguée de
tout détail inutile. Ce rapportdevrait permettre à utilisateur d'oublier
SGA 5, qu'on pourra considérer comme unesérie de digression, certaines
très intéressantes. Son existence permettra de publierprochainement SGA
5 tel quel. Il est complété par l'exposé "Applications de laformule des
traces aux sommes trigonométriques" qui explique comment la formuledes
traces permet l'étude de sommes trigonométriques, et donne des
exemples..