// JavaScript Document
function extraireNomFichier(){
	
	// attribuer à la variable adresseURL l'adresse du fichier
	var adresseURL = window.location.pathname;
	// rechercher la position du dernier /
	var positionDernierSlash = adresseURL.lastIndexOf("/");
	// rechercher la position du dernier point = point de l'extension
	var positionPointExtension = adresseURL.lastIndexOf(".");
	// extraire les carectères entre le dernier / et le point
	var nomFichier = adresseURL.slice(positionDernierSlash+1,positionPointExtension);
	// retourner le non du fichier sans l'extension
	return nomFichier;
	
}

function liensActifs(){
	/* ajoute un style decoration : underlign à l'élément ayant pour non d'i
	le même nom (sans extension) que le fichier*/
	window.document.getElementById(extraireNomFichier()).style.textDecoration = "underline";
	
}