Autre version :
-----
/* EN DEBUT DE FICHIER */
function getmicrotime()
{
list($usec, $sec) = explode(" ",microtime());
return ((float)$usec + (float)$sec);
}
/* AVANT REQUETE */
$time_start = getmicrotime();
/* REQUETE */
/* APRES REQUETE */
$time_end = getmicrotime();
$time = $time_end - $time_start;
echo "Requete exécutée en $time secondes";
----