Les 9 opérateurs