function v4(txt) {				//minuterie messages sur ligne d'état; auteur: Gérard Comeau
   window.status = txt;
   }
function efface() {
   window.status="";
}