function SelectionnerMenu()
{
	//Recherche la page courante pour la sélectionner dans le menu
	var pageCourrante = window.location.pathname.substring(window.location.pathname.lastIndexOf('/') + 1) || "index.php";
	
	//met en rouge les éléments du sous-menu
	var oA = document.getElementById('menu').getElementsByTagName('a'),
		j;
	
	for ( j = 0; j < oA.length; j++ )
	{
		if (oA[j].href.indexOf(pageCourrante) > -1)
		{
			if (oA[j].href.indexOf("#") < 0)
			{
				oA[j].style.color = "#DC241F";
			}
		}
	}
}