formulation du système Synonym