ajout de MOMS approché : on utilise des valeurs approchées pour les occurences des variables dans les clauses