var mois 	= new Array (" janvier", " février", " mars", "avril", " mai", " juin", " juillet", " août", " septembre", " octobre", " novembre", " décembre");
var jour 	= new Array ("dimanche ", "lundi ", "mardi ", "mercredi ", "jeudi ", "vendredi ", "samedi ", "dimanche ");
var alt 	= " ";

function agenda() { var quand = new Date(); texte = jour[quand.getDay()] + quand.getDate() + mois[quand.getMonth()] +' '+ quand.getFullYear(); document.write (texte); }
function heure() { var quand=new Date();var mn=quand.getMinutes();if(mn<10)mn="0"+mn;if(alt==":")alt="&nbsp;";else alt=":";texte=quand.getHours()+alt+mn;document.getElementById("heur").innerHTML=texte;setTimeout("heure()",1000); }