Petit ajout : on traite le cas des clauses de taille 1 quand on les parse