Re: Grothendieck bio?