One of the most important mathematical achievements of the past several decades has been A. Grothendieck's work on algebraic geometry. In the early 1960s, he and M. Artin introduced etale cohomology in order to extend the methods of sheaf-theoretic cohomology from complex varieties to more general schemes. This work found many applications, not only in algebraic geometry, but also in several different branches of number theory and in the representation theory of finite and p-adic groups. Yet until now, the work has been available only in the original massive and difficult papers. In...