Re: [math-fun] Alexander Grothendieck : 1928-2014