// JavaScript Document
function debut_timer()
{
var time_start = new Date();
var milisecunde1 = time_start.getTime();
return milisecunde1;
}

function fin_timer(t)
{
var milisecunde1=t;
var time_stop = new Date();
var milisecunde2 = time_stop.getTime();
var time = (milisecunde2 - milisecunde1) * 0.001 + 0.2;
document.write('<div id="time">Page charg&eacute;e en <span>'+time.toFixed(2)+'</span> secondes</div>');
}