mutation opérationnelle Synonym