// Verifie et adapte la taille d'un flash a chaque redimensionnement
// @param objId : Id de la balise HTML Object du flash
// @param width : largeur
// @param height : hauteur
function ArtFlashSize(objId, width, height)
{
	checkFlashSize(objId, width, height);
	window.onresize = function()
	{
		checkFlashSize(objId, width, height);
	}
}

// Verifie la taille d'un flash 
// Si la fenetre est plus petite que les tailles précisées
// on fixe le flash aux tailles précisées
// sinon on met le flash en 100%
// @param objId : Id de la balise HTML Object du flash
// @param width : largeur
// @param height : hauteur
function checkFlashSize(objId, width, height)
{
	var winSize = getWindowSize();
	var newWidth, newHeight;
	if(winSize[0] < width)
		newWidth = width+"px";
	else
		newWidth = "100%";
	if(winSize[1] < height)
		newHeight = height+"px";
	else
		newHeight = "100%";
	setFlashSize(objId,newWidth, newHeight);
}

// Fixe la taille d'un flash 
// @param objId : Id de la balise HTML Object du flash
// @param width : largeur
// @param height : hauteur
function setFlashSize(objId, width, height)
{
	var o = document.getElementById(objId);
	if(o)
	{
		o.setAttribute("width",width);	
		o.setAttribute("height",height);	
		var e = o.getElementsByTagName("embed")[0];
		if(e)
		{
			e.setAttribute("width",width);	
			e.setAttribute("height",height);
		}
	}
}

// Retourne la taille courante de la fenetre
// @return Array(largeur, hauteur)
function getWindowSize()
{
	var winW = 800, winH = 600;
	if (parseInt(navigator.appVersion)>3) 
	{
		if (navigator.appName=="Netscape") 
		{
			winW = window.innerWidth;
			winH = window.innerHeight;
		}
		if (navigator.appName.indexOf("Microsoft")!=-1) 
		{
			winW = document.body.offsetWidth-20;
			winH = document.body.offsetHeight-20;
		}
	}
	return new Array(winW, winH);
}