opérateurs