let
nb_zero =
Measure
.
Density
.number_of [
Auto
.states.(0)]