let compare_nb_diff a p1 p2 = Pervasives.compare (nb_diff p1 a) (nb_diff p2 a)