let wait_lourd s = 
   let tmps_init = Sys.time() in
   while (( (Sys.time ()) -. tmps_init) < s) do
    ();
   done