Cohomologie Etale

ltats avec une gnralit minimale, souvent insuffisante pour les applications et une ide de leur dmonstration. Pour des rsultats complets, ou des dmonstrationsdtailles, SGA 4 reste indispensable.Le Rapport sur la formule des traces contient une dmonstration complt dela formule des traces pour lendomorphisme de Frobenius. La dmonstration est celledonne par Grothendieck dans SGA 5, lague de tout dtail inutile. Ce rapportdevrait permettre utilisateur doublier SGA 5, quon pourra considrer comme unesrie de digression, certaines trs intressantes. Son existence permettra de publierprochainement SGA 5 tel quel. Il est complt par lexpos Applications de laformule des traces aux sommes trigonomtriques qui explique comment la formuledes traces permet ltude de sommes trigonomtriques, et donne des exemples..