enleve arbres preuve et cmod pour gagner beaucoup d'espace (reversible) et stop : ne traite pas les fichiers plus difficiles que ceux deja echoues