int: nMachines; int: nOuvriers; set of int: MACHINES = 1..nMachines; set of int: OUVRIERS = 1..nOuvriers; array[OUVRIERS,MACHINES] of int : productivite; var int: total; array[OUVRIERS,MACHINES] of var bool: x;