We present Gabber’s theorem of independence of l for the intersection
cohomology of a proper equidimensional scheme over the spectrum of a finite
field. We follow [Fuji] very closely.
On expose ici le th'eor`eme de Gabber d’ind'ependance de l pour la
cohomologie d’intersection d’un sch'ema propre 'equidimensionnel sur le
spectre d’un corps fini. On suit [Fuji] `a tr`es peu pr`es.