Version imprimable
echo round($time, 4);
okay, je le testerai dans quelques minutes, merci beuacoup ^^
