logique combinatoire simplification