opérateurs en couverture