'; } $time_pre_end = explode(' ', microtime()); $time_end = $time_pre_end[1] + $time_pre_end[0]; $time = $time_end - $time_start; echo $time .' secondes !'; ?>