function GetDay(intDay){
    var DayArray = new Array('dimanche', 'lundi', 'mardi', 'mercredi', 
                             'jeudi', 'vendredi', 'samedi')
    return DayArray[intDay]
    }

function GetMonth(intMonth){
    var MonthArray = new Array('janvier', 'février', 'mars',
                               'avril', 'mai', 'juin',
                               'juillet', 'août', 'septembre',
                               'octobre', 'novembre', 'décembre') 
    return MonthArray[intMonth] 	  	 
    }
    
  
function getDateTimeStrWithDOW(){
    var daylastsaved = new Date(document.lastModified)
    var year = daylastsaved.getYear()
    if (year<1000) year+=1900
    var daylastsavedStr = GetDay(daylastsaved.getDay())
    daylastsavedStr += ' ' + daylastsaved.getDate()
    daylastsavedStr += ' ' + GetMonth(daylastsaved.getMonth())
    daylastsavedStr += ' ' + year
    daylastsavedStr += ' &agrave; ' + daylastsaved.getHours()
    daylastsavedStr += '&nbsp;h&nbsp;' + daylastsaved.getMinutes()
    return daylastsavedStr
    }

document.write(getDateTimeStrWithDOW())