function popup(url,titre,larg,haut) {
    var w=window.open(url,titre,"width="+larg+",height="+haut);
    w.focus();
  }

function zoom(url,larg,haut) {
	larg=larg+20;
	haut=haut+20;
	newwindow=window.open(url,'zoom',"width="+larg+",height="+haut);
	if (window.focus) {newwindow.focus()}
	return false;
}