Cohomologie Etale: Séminaire de Géométrie Algébrique du Bois-Marie SGA 4 1/2

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émonstrations
détaillées, SGA 4 reste indispensable.
Le “Rapport sur la formule des traces” contient une démonstration complété de
la formule des traces pour l’endomorphisme de Frobenius. La démonstration est celle
donnée par Grothendieck dans SGA 5, élaguée de tout détail inutile. Ce rapport
devrait permettre à utilisateur d’oublie...