Ajout du numéro de ligne des clauses trivialement vraies lues