Change important dans variable, une variable ne contient plus un domain mais plusieurs
implémentation de reduce domain pour !=