<?php
$tableau = gettimeofday();
echo "Il s'est écoulé ".$tableau['sec']." secondes et ".
     $tableau['usec']." microsecondes depuis le 1er Janvier 1970.<br />";
?>
