https://123dok.net/document/zlgv6l92-enveloppe-convexe-de-linéarisation-une-fonction-pseudo-booléenne.html