let entree_entier () =
  let s = ref "" and b = ref true and i = ref 0 in
  while !b
  do
   print_string "? "; flush stdout;
   s := read_line ();
   try
    i := int_of_string !s;
    b := false
   with _ -> ()
  done;
  !i