bool p: [0,3) false; [3,4) true; [4,12) false;  
implicant in: [5,5] ;
//modif olivier 18/10/2019 implicant out: [1,3-] ;
implicant out: [1,3+] ;
bound [2+,4] ;


