function vrecherche(){
		var numero = document.form1.var_valeur.value;	
		var modele_num = /[0-9]/;
	
			if(  !modele_num.test(numero) || numero.length >4 ){
				alert("Indiquer le numero de travail à 4 chiffres");
				return false;
				//document.formulaire.EmailUtilisateur.focus();
			}
			else {
				//alert("bien ecrit");
				return true;
				
			}

	}
	//getElementById('lastLoadedCmds')//document.form1.var_valeur.value;