Nouvelle implémentation du module Clause