Quelques corrections de l'outil tréso