function date_heure()
{

var temps=new Date();
var j_semaine=new Array("Dim.","Lun.","Mar.","Mer.","Jeu.","Ven.","Sam");
var val_date;


var y=temps.getFullYear();	//existe depuis Javascript1.3 renvoit les 4 chiffres pour l'année
var mois=temps.getMonth();		// le numéro du mois dans l'année
var j_s=temps.getDay(); 	// le numéro du jour dans la semaine
var j_m=temps.getDate(); 	// le numéro du jour dans le mois

mois = mois +1;



temps=new Date();
h=temps.getHours();
m=temps.getMinutes();
s=temps.getSeconds();

if (h < 10) h = "0"+h;
if (m < 10) m = "0"+m;
if (s < 10) s = "0"+s;
if (mois < 10) mois = "0"+mois;
if (j_m < 10) j_m="0"+j_m;




val_date=j_semaine[j_s]+"&nbsp;"+j_m+"/"+mois+"/"+y+"&nbsp"+h+":"+m+":"+s;


var dat = (document.all) ? document.all['date'] : document.getElementById('date');

dat.innerHTML=val_date;


setTimeout('date_heure()',1000);	//Affichage des secondes dans 1000µs=1s
}