fin des commentaires dans newclause.ml