function masque(ouinon) {
 if (document.getElementById && !document.all) {
 ligne = document.getElementById("div_num_licence");
 } 
  
   if ( ouinon == "oui" ) {
      ligne.className = "masque";
      return;
   } ligne.className = "demasq";
}

function imprime_commande {
	window.open("monfichier.pdf","nomFenetre","width=300, height=300");
	}