In this lecture I shall sketch the construction of l-adic cohomology and prove a beautiful theorem of Deligne according to which the eigenvalues of Frobenius are algebraic integers.