https://123dok.net/document/oy8n94yr-approche-categorique-unifiee-recriture-graphes-attribues.html