Update ter_iterateurs.ml