function affiche_date()
	{
	jour = new Array();
	jour[0]='Dimanche';
	jour[1]='Lundi';
	jour[2]='Mardi';
	jour[3]='Mercredi';
	jour[4]='Jeudi';
	jour[5]='Vendredi';
	jour[6]='Samedi';
	mois = new Array();
	mois[0]='janvier';
	mois[1]='février';
	mois[2]='mars';
	mois[3]='avril';
	mois[4]='mai';
	mois[5]='juin';
	mois[6]='juillet';
	mois[7]='août';
	mois[8]='septembre';
	mois[9]='octobre';
	mois[10]='novembre';
	mois[11]='décembre';
	var my_date= new Date();
	var year=my_date.getYear();
	var month=my_date.getMonth();
	var day=my_date.getDay();
	var date=my_date.getDate();
	if (navigator.appName=="Netscape")
	{
		year%=100;
		if (year<10)
			document.write(jour[day] + " " + date + " " + mois[month] + " 200" + year);
		else {document.write(jour[day] + " " + date + " " + mois[month] + " 20" + year);}
	}
	else {document.write(jour[day] + " " + date + " " + mois[month] + " " + year);}
	}
-->