ltats - avec une generalite minimale, souvent insuffisante pour les applications -et une idee de leur demonstration. Pour des resultats complets, ou des demonstrationsdetaillees, SGA 4 reste indispensable.Le "Rapport sur la formule des traces" contient une demonstration complete dela formule des traces pour l'endomorphisme de Frobenius. La demonstration est celledonnee par Grothendieck dans SGA 5, elaguee de tout detail inutile. Ce rapportdevrait permettre a utilisateur d'oublier SGA 5, qu'on pourra considerer comme uneserie de digression, certaines tres interessantes. Son existence permettra de publierprochainement SGA 5 tel quel. Il est complete par l'expose "Applications de laformule des traces aux sommes trigonometriques" qui explique comment la formuledes traces permet l'etude de sommes trigonometriques, et donne des exemples..