Simplification algorithme de décision