https://123dok.net/document/1y9nlelz-bornes-inferieures-algorithme-exact-base-dsatur-resolvant-coloration.html