Update ter_iterateurs.ml

Simplification de ter_itérateurs. Les transformations sont dans d'autres fichiers