https://123dok.net/document/zwv14d4v-nouvelles-bornes-inférieurs-problème-somme-coloration.html