(** Conversion d'une chaîne de caratères en adresse Internet *)
let inet_addr_of_name machine =
  try
    (gethostbyname machine).h_addr_list.(0)
  with _ -> raise (Failure "inet_addr_of_name");;