Type abstrait pour les clauses