function info(texte) 
	{
		if (document.getElementById)
		{
		    document.getElementById("survol").innerHTML = texte;
		}
		else 
		{
		   document.getElementById("survol").innerHTML = " ";
		}
	}