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..