Mesurer le temps d'exécution PHP

$start = microtime(true);
while (...) {

}
$time_elapsed_secs = microtime(true) - $start;
SeriousMonk