// site_global_functions.js
<!--
function printmeil(meil,href,theclass,plus) {
	//alert(plus);
	var reg=new RegExp("!pt"+plus+"!", "g");
	meil = meil.replace(reg,".");
	var reg2=new RegExp("!arb"+plus+"!", "g");
	meil = meil.replace(reg2,"@");
	if(href == 1) document.write("<a href='mailto:"+meil+"' "+theclass+">"+meil+"</a>");
	else document.write(meil);
}
// -->

<!--
function popupa(fichier,largeur,hauteur,resizable,scrollbars,menubar) {
	if(!resizable) resizable = "yes";
	if(!scrollbars) scrollbars = "auto";
	if(!menubar) menubar = "no";
	
	/*
var fichier;
var largeur;
var hauteur;
var rezize;
var scro;*/
var win3=window.open(fichier,"","width="+largeur+"px,height="+hauteur+"px,resizable="+resizable+",scrollbars="+scrollbars+",menubar="+menubar+"");
   win3.moveTo(screen.width/2-(largeur/2),screen.height/2-(hauteur/2));
   win3.focus();
}
// -->

function flresize(id,hauteur) { // fonction utilisée dans les fichiers flash qui souhaitent être adaptés à la taille de l'écran :-) optimisation nottament pour les petits écrans en enlevant les espaces vides après redimensionnement de la fenêtre (flash + javascript)
			var theid = "."+id;
			$(theid).attr('height',hauteur); // change l'attribut 'height' pour tous les éléments de classe id (donc les balises object et embed de notre fichier flash ;)
}