function writediv(zone,texte)
{
	document.getElementById(zone).innerHTML = texte;
}

function verification(zone,fichier,methode,variable)
{
			texte = file(fichier+'?'+methode+'='+escape(variable));
			writediv(zone,texte);
}

function file(fichier)
{
	if(window.XMLHttpRequest) // FIREFOX
		xhr_object = new XMLHttpRequest();
	else if(window.ActiveXObject) // IE
		xhr_object = new ActiveXObject("Microsoft.XMLHTTP");
	else
		return(false);
	xhr_object.open("GET", fichier, false);
	xhr_object.send(null);
	if(xhr_object.readyState == 4) return(xhr_object.responseText);
	else return(false);
}

function afficheDate()// fonction pour afficher la date et l'heure
{

jour = new Array ("Dim","Lun","Mar","Mer","Jeu","Ven","Sam");
mois = new Array ("Jan","Fév","Mar","Avr","Mai","Jui","Jul","Aoû","Sep","/10","Nov","Déc");

date=new Date();
datejour=date.getDate();
heure=date.getHours();
minute=date.getMinutes();
seconde=date.getSeconds();
if (date.getDate()<10) datejour="0"+datejour;
if (heure<10) heure="0"+heure;
if (minute<10) minute="0"+minute;
if (seconde<10) seconde="0"+seconde;
document.getElementById("time").innerHTML=jour[date.getDay()]+" "+datejour+" "+mois[date.getMonth()]+" "+date.getFullYear()+" "+heure+":"+minute+":"+seconde;
setTimeout("afficheDate()", 1000);

}