https://123dok.net/document/z3dlwk38-collapses-différentiels-colorés-caractéristique-décrits-poizat-amalgames-hrushovski.html