Grothendieck y otros colaboradores del SGA4 elaboraron finalmente un desarrollo técnico completo de la teoría.