//<!--
function getLongDateString()
{	//method defined on class Date.
	//Returns a date string of the form: Day DD Month,YYYY
	//(e.g. Sunday 27 September, 1998)
var derniereModif=document.lastModified;	
var dateModif = new Date(derniereModif);
var heures=dateModif.getHours();
var minutes=dateModif.getMinutes();
	monthNames = new Array("janvier","février","mars","avril","mai","juin","juillet","aout","septembre","octobre","nov.","dec.");
dayNames = new Array("Dimanche","Lundi","Mardi","Mercredi","Jeudi","Vendredi","Samedi");
	dayOfWeek = this.getDay();
	day = dayNames[dayOfWeek];
	dateOfMonth = this.getDate();
monthNo = this.getMonth();
	month = monthNames[monthNo];
year = this.getYear();
	if (year < 2000)
year = year + 1900;
var mydate=new Date()
		var yeara=mydate.getFullYear()
dateStr = day+" "+dateOfMonth+" "+month+" "+year +" à "+ heures+" H." + minutes+ " minutes      copyright 2007 "+yeara;
	return dateStr;
}
//register the  method in the class Date
Date.prototype.getLongDateString=getLongDateString;

function DocDate()
{ //return the document modification date (excl.time)
//as a string
	DateTimeStr = document.lastModified;
	secOffset = Date.parse(DateTimeStr);
	if (secOffset == 0 || secOffset == null) //Opera3.2
			 dateStr = "Unknown";
	else
	{
		aDate = new Date();
		aDate.setTime(secOffset);
		//use method defined above
		datestr = aDate.getLongDateString();
	}
	return dateStr;
}