suppression de tas.ml qui ne sert a priori à rien + fin de debug pour les ordres