//*********************************************************************
//*               Module de gestion des dates et heures               *
//*                    Ecrit par Alexandre GASTAUD                    *
//*********************************************************************

var DUREE_SECONDE = 1000;

function Wait (millisecondes)
	{
	var debut = new Date ().getTime ();
	while (new Date ().getTime () < debut + millisecondes);
	}

function LastModification ()
	{
	var date = new Date (document.lastModified);
	return date.toUTCString ();
	}

//*************************** FIN DU FICHIER **************************