Grothendieck and SGA