function compZero(nombre) //Ajoute un zero à l'heure si elle est inférieure à 10
			{
				return nombre < 10 ? '0' + nombre : nombre;
			}
			
			function date_heure() //Recupere heure, minutes et secondes, concatene avec la date 
			{
				var infos = new Date();
				//Heure
				document.getElementById('date_heure').innerHTML = compZero(infos.getHours()) + ':' + compZero(infos.getMinutes()) + ':' + compZero(infos.getSeconds());

				//Date
				var mois = new Array('janvier', 'février', 'mars', 'avril', 'mai', 'juin', 'juillet', 'août', 'septembre', 'octobre', 'novembre', 'décembre');
				var jours = new Array('dimanche', 'lundi', 'mardi', 'mercredi', 'jeudi', 'vendredi', 'samedi');
				document.getElementById('date_heure').innerHTML += ', le ' + jours[infos.getDay()] + ' ' + infos.getDate() + ' ' + mois[infos.getMonth()] + ' ' + infos.getFullYear() + '.';
			}