let nb_unsynchronized =
    match Auto.name with
      | "parallel_2eca" ->
          Measure.Density.number_of [Auto.states.(1); Auto.states.(2)]
            (* The states where the 2 automata aren't synchronized *)
      | "Ising_sandwich" | "Ising_sandwich_4bodies" | "Ising_sandwich_4bodies_optimized" ->
          Measure.Density.number_of [Auto.states.(2)]
            (* Thanks to monotonicity, the state 1 can't appear. *)
      | _ ->
          failwith "This experiment works only with the parallel_2eca or Ising_sandwich rule."