Un collègue m’a signalé quelque chose de rigolo : quand on fait la recherche Google “gâteau Groethendieck”, voilà la première occurrence que l’on obtient :

🙂