Update ter_iterateurs.ml

avec le module tfr_chk_spec commencé