let stats_nb_refined_nodes = ref 0