Ajouts dans le header des clauses, et implémentation dans BasicClause. Ne compile peut-être pas