function popup(url, titre, largeur, hauteur)
  {
  window.open(url, titre, 'width=' + largeur + ', height=' + hauteur);
  }