/////////////////////////////////////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////////////////////////////////////

function printpage()
{
window.print()
}

/////////////////////////////////////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////////////////////////////////////
function GetCurrentYear()
{
var thedate = new Date( );
var theyear = thedate.getYear( );
if (theyear < 2000) 
theyear = theyear + 1900
document.write(" " + theyear)
}

/////////////////////////////////////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////////////////////////////////////
function LastMod()
{
var days = new Array(8);
days[1] = "Dimanche";
days[2] = "Lundi";
days[3] = "Mardi";
days[4] = "Mercredi";
days[5] = "Jeudi";
days[6] = "Vendredi";
days[7] = "Samedi";
var months = new Array(13);
months[1] = "Janvier";
months[2] = "Février";
months[3] = "Mars";
months[4] = "Avril";
months[5] = "Mai";
months[6] = "Juin";
months[7] = "Juillet";
months[8] = "Août";
months[9] = "Septembre";
months[10] = "Octobre";
months[11] = "Novembre";
months[12] = "Décembre";
var dateObj = new Date(document.lastModified)
var wday = days[dateObj.getDay() + 1]
var lmonth = months[dateObj.getMonth() + 1]
var date = dateObj.getDate()
var fyear = dateObj.getYear()
if (fyear < 2000) 
fyear = fyear + 1900
document.write(" " + date + " " + lmonth + " " + fyear)
}

//////////////////////////////////////////////////////////////////////////////////////////////////
//////////////////////////////////////////////////////////////////////////////////////////////////