(* on ignore Sys.argv.(0) qui est le nom de la commande et pas un argument de la commande *) if Array.length Sys.argv > 1 then   begin     print_string Sys.argv.(1);     for i = 2 to Array.length Sys.argv - 1 do       print_char ' ';       print_string Sys.argv.(i)     done;   end; print_newline ();;