raffinement des opérations Synonym