Update ter_iterateurs.ml

Version paramétrée de la conversion.
Problème lors de l'ajout des submodules add/mul/sub, ne "remonte" pas à la racine de la spécification