https://123dok.net/document/z1d3lekd-nouvelle-formulation-plne-problème-classique-bin-packing.html