Re: Grothendieck's writings