function DerModif() {
		D = new Date(document.lastModified);
		yy = D.getFullYear();
		mm = D.getMonth() + 1;
		dd = D.getDate();
		document.write("<FONT SIZE='2'>" + "<i>Mise &agrave; jour :  " + dd + "/" + mm + "/" + yy + "</i>" + "</FONT>");
}

function LastModif() {
		D = new Date(document.lastModified);
		yy = D.getFullYear();
		mm = D.getMonth() + 1;
		dd = D.getDate();
		document.write("<FONT SIZE='2'>" + "<i>Update:  " + mm + "/" + dd + "/" + yy + "</i>" + "</FONT>");
}