Update ter_iterateurs.ml

Modification de Transformation pour que le paramètre passé soit impacté par les changements au fur et à mesure.
Suppression de no_submodule, création de tfr_chk_spec, en commentaire actuellement