function ini()
{
////////////////////////////////////////////////////////////////////////////////////////
// inactiver ( mettre en vert pale ) les liens actif;
// il faut leur donner id=nom du fichier sans extension;
/////////////////////////////////////////////////////////////////////////////////////////
var url= new String; url = document.URL; /* url complète */
var rep = new String ();
var fichier = new String ();
var obj = null;
tableau = new Array();
tableau=url.split("\\");/* pour pouvoir tester sur disque dur et IE */
if (tableau.length<=1) tableau=url.split("/");
rep=tableau[tableau.length-2]; /* nom du répertoire courant */
fichier=tableau[tableau.length-1];
i=fichier.lastIndexOf(".");
fichier=fichier.substring(0,i); // nom du fichier courant sans .extension
if (fichier=="description") fichier="descriptiona";
i=fichier.lastIndexOf("-");
if (i>1) fichier=fichier.substring(0,i); // nom du fichier courant sans -numero
if (fichier=="livre") fichier="livres"; // à changer + tard
if (i==1)
 {j=rep.lastIndexOf("-"); fichier=rep.substring(j+1,rep.length);}// à changer + tard : x-num
obj = null; obj = document.getElementById(fichier);
if (obj){ obj.className = "inactif"; obj.title = "cette page";}
}