Independence of l of the set of irreducible l-adic local systems on a smooth variety over a finite field (first part).
