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