<?php $start = microtime(true); echo "start:$start<br>"; // db->execute($sql); $end = microtime(true); echo "end:$end<br>"; $diff = $end - $start; $duree = number_format($diff,3); echo "duree:$duree microsecondes<br>"; ?>