function $(nom){
 return document.getElementById(nom);
}

function ouvre_fen(fic,hauteur) {
 if (typeof(fenetre)=="object")	{ // test pour ne pas affichier deux fois le même fenêtre
	 if(!fenetre.closed){
	  fenetre.close();	
	 };	
	};
	var param="scrollbars=yes,width=700,height="+hauteur+",left=300,top=150,status=no";
 fenetre=open(fic,"",param);
}