// ********************************************
// Permet d'attendre un certains temps
// ********************************************
function pause_temporelle(nbr_de_milliseconde)
{
	// date du jour
	date_du_jour = new Date() 
	while (1)
	{
		// date actuelle
		mill=new Date() 
		// différence en millisecondes
		diff = mill - date_du_jour;
		if( diff > nbr_de_milliseconde ) 
		{
			break;
		}
	}
}
