// JavaScript Document

/* fct DATE_MAJ() retourne la date de dernière maj */
/* fonction GENERE_PIED() retourne le code HTML de ce que l'on souhaite comme pied de page */

//a revoir
/*function genere_pied () {
 //   htmlp = '<table border="1" class="tabPied"><tr><td>Dernière mise à jour le ';
   // htmlp += date_maj;
 //   htmlp += '</td></tr></table>';
  //  return htmlp;
}

function date_maj () {    // logo = affichage du logo à gauche et de la bordure bleue sup (0 || 1), disp = valeur du display de depart 0=>none || 1=>block)
    date_maj = "";
    
	div_pied = document.createElement("div");
    div_pied.setAttribute("id", "emplacement_pied");
   div_pied.setAttribute("class", "divPied");
  document.body.appendChild(div_pied);
   div_pied.innerHTML = genere_pied();

	if (navigator.appName.indexOf("Microsoft") != -1) {    // traitement de la date de maj en fct du navigateur
        date_maj = document.lastModified.match(/[0-9\/]+/);
    }
    else {
        jour_date_maj = document.lastModified.match(/\d{2}/);
        mois_date_maj = document.lastModified.match(/\s[a-zA-Z]+/);
        tab_mois = [[" Decembre","12"],[" Novembre","11"],[" Octobre","10"],[" Septembre","09"],[" Aout","08"],[" Juillet","07"],[" Juin","06"],[" Mai","05"],[" Avril","04"],[" Mars","03"],[" Fevrier","02"],[" Janvier","01"]];
        for (i in tab_mois) {
            if (tab_mois[i][0] == mois_date_maj) {
                mois_date_maj = tab_mois[i][1];
            }
        }
        annee_date_maj = document.lastModified.match(/\d{4}/);
        date_maj = jour_date_maj + "/" + mois_date_maj + "/" + annee_date_maj;
    }
    return (date_maj);
}
document.write(document.lastModified)

*/

function date_maj () {
  Modif = new Date(document.lastModified);
Jour = new Array;
Jour[0] = "Dimanche";
Jour[1] = "Lundi";
Jour[2] = "Mardi";
Jour[3] = "Mercredi";
Jour[4] = "Jeudi";
Jour[5] = "Vendredi";
Jour[6] = "Samedi";
Mois = new Array;
Mois[0] = "Janvier" ;
Mois[1] = "F&eacute;vrier" ;
Mois[2] = "Mars" ;
Mois[3] = "Avril";
Mois[4] = "Mai" ;
Mois[5] = "Juin" ;
Mois[6] = "Juillet" ;
Mois[7] = "Ao&ucirc;t";
Mois[8] = "Septembre";
Mois[9] = "Octobre";
Mois[10] = "Novembre";
Mois[11] ="D&eacute;cembre";
DateModif = " Dernière modification :<br> " + Jour[Modif.getDay()] + " " + Modif.getDate() + " " + Mois[Modif.getMonth()] + " " + Modif.getFullYear();
DateModif += " &agrave; " + Modif.getHours() + ":" + Modif.getMinutes()
   document.write (DateModif);
   
  }