Critique d'Algègre, Éléments de la vie d'Alexandre Grothendieck