var tmois = new Array("Janvier", "Février", "Mars", "Avril", "Mai", "Juin", "Juillet", "Août", "Septembre", "Octobre", "Novembre", "Décembre");
var tsemaine = new Array("Lundi", "Mardi", "Mercredi", "Jeudi", "Vendredi", "Samedi", "Dimanche");


Date.prototype.litteral = function() {
 if ((arguments.length) && (arguments[0] == "court"))
   return tsemaine[this.quel_jour()].substr(0, 3) + " " + this.getDate() + " " + mois_court(this.getMonth()) + " " + this.getFullYear();
 else
   return tsemaine[this.quel_jour()] + " " + this.getDate() + " " + tmois[this.getMonth()] + " " + this.getFullYear();
}
// affiche le mois sur 3 lettres, sauf pour juin (5) et juillet(6) qui sont affichés sur 4 lettres
function mois_court(num_mois) {
 if ((num_mois < 5) && (num_mois > 6)) return tmois.substr(0, 3);
 else return tmois.substr(0, 4);
}

// retourne 0 pour un lundi, 1 pour mardi... 6 pour dimanche
Date.prototype.quel_jour = function() {
 return this.getDay() ? (this.getDay()-1) : 6;
}