"; $top1 = gettimeofday(); $duree["sec"] = $top1["sec"]-$top0["sec"]; $duree["usec"] = $top1["usec"]-$top0["usec"]; if ($duree["usec"]<0) { $duree["sec"]--; $duree["usec"]+=1000000; } echo "Il a fallu ".$duree["sec"]." secondes et ". $duree["usec"]." microsecondes
"; ?>