function affiche($s){document.getElementById('monde').setAttribute("src","images/"+$s+"-on.gif");}
function detail($d)
	{
	$divs = document.getElementById('global').getElementsByTagName('div');
	for(i=0;i<$divs.length;i++){$divs[i].style.visibility="hidden";}
	$m = ($d=='carte_monde'?'hidden':'visible');
	document.getElementById('selectionnez').style.visibility=($m);
	document.getElementById('back').style.visibility=($m);
	$divs = document.getElementById($d).getElementsByTagName('div');
	for(i=0;i<$divs.length;i++){$divs[i].style.visibility="visible";}
	document.getElementById($d).style.visibility = 'visible';
	}