modif de addClause pour qu'elle soit capable de faire seule les déductions