optimisation linéaire en nombres entiers