comment changer d’opérateur