Update ter_iterateurs.ml

tfr_chk_spec début ok