Le formalisme du foncteur de points de Grothendieck

GPTKB entity