function dateMiseAJour()
	{
	document.write( "Derni&egrave;re mise &agrave; jour<BR>" + document.lastModified.substring( 3, 6 ) + 
	                 document.lastModified.substring( 0, 3 ) + document.lastModified.substring( 6, 10 ) + "<BR>" );
	}

function lastUpdate()
	{
	document.write( "Last update<BR>" + document.lastModified.substring( 0, 10 ) + "<BR>" );
	}

function makearray( n ) 
	{
	this.length = n;

	for( var i = 0; i < n; i++ )
        	this[ i ] = 0;

	return this;
	}