let fprint_choice_c_n ff (c_n, (nbones_c_n_u, nbones_c_n_v))=
  Format.fprintf ff "|%a.u|_1 = %i and |%a.v|_1 = %i"
    fprint_word_var c_n
    nbones_c_n_u
    fprint_word_var c_n
    nbones_c_n_v