let stats_nb_refinment_processes = ref 0