BDD Opérateurs For Thomas