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