rectification de l'oubli du tri dans all_imp, ajout du flag trees-via-caml, suite de trees_vers_coq