[fr] Anneau de Grothendieck

[nl] Grothendieck-ring