test with inversion for greater constraints
Merge branch 'master' of https://github.com/amanent/ProjetPNE
B&b almost working, need to check cut conditions