Calculabilité de la cohomologie étale modulo $\ell$
Résumé
Nous démontrons la calculabilité, au sens de Church-Turing, de la cohomologie étale modulo ℓ. Après avoir considéré le cas des schémas algébriques sur un corps algébriquement clos de caractéristique différente de ℓ, et notamment la fonctorialité, nous étudions les images directes de faisceaux constructictibles de Z/ℓ par un morphisme propre. Nous utilisons une variante pro-ℓ de la théorie des bons voisinages de Michael Artin.