// EXTERNALINTERFACE //////////////////////////////////////////////////////////////////////////////////////////
// Ajuste la hauteur du contenant du player multimédia Flash en fonction du nombre d'élément
function adjustContainerHeight (__height) {
	document.getElementById("player").parentNode.style.height = __height + "px";
	document.getElementById("player").style.height = "100%";
	document.getElementById("player").style.display = "block"; // Bug refresh Safari
}