let print_state st =
  Format.print_string ("   "^st.name^" (acc=");
  print_bool3 st.acceptation ;
  Format.print_string (";init=");
  print_bool3 st.init;
  Format.print_string (";num=");
  Format.print_int st.nums;
  Format.print_string (")\n")