let
string_time () =
string_of_temps (convertir_temps (time ()))