let
compare_nb_common a p1 p2 =
Pervasives
.compare (nb_common p2 a) (nb_common p1 a)