(** 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"
);;