correction des opérations Synonym