function horloge(heure) { 
     document.getElementById ('message').focus(); 
     document.getElementById ('message').value += heure + " "; 
}