function day_of_week() {
        var mydate = new Date();
        var days_of_week = new Array( "dimanche", "lundi", "mardi", "mercredi", "jeudi", "vendredi", "samedi" );
        return days_of_week[mydate.getDay()];
}
function month_of_year() {
        var mydate = new Date();
        var months_of_year = new Array( "janvier", "février", "mars", "avril", "mai", "juin", "juillet", "août", "septembre", "octobre", "novembre", "décembre" );
        return months_of_year[mydate.getMonth()];
}
var mystring="";
var myDate = new Date();
var theYear = myDate.getYear();
theYear += (theYear < 1900) ? 1900 : 0; 
mystring = myDate.getDate() + " " + month_of_year() +
" " + theYear;
mystring.fontsize(-2);
document.write( mystring );