let stats_nb_iterations_of_outer_loop = ref 0