Résume | Soit X une courbe lisse géométriquement connexe sur un corps
fini Fq. Soit G un groupe réductif sur Fq. Pour tout ensemble fini I et
toute représentation de (\check{G})^I, où \check{G} est le groupe dual
de G, on a un champ de chtoucas sur X^I. Pour chaque degré, on a un
faisceau de cohomologie l-adique à support compact sur X^I, qui est une
limite inductive des faisceaux constructibles.
Dans cet exposé, je parlerai d'un travail en progrès qui montre que ces
faisceaux sont ind-lisse sur X^I. Je parlerai aussi de quelques
applications. |