Re: Simplified definition of scheme proposed by Grothendieck