<!--
function allume(fleche,picto,destination)
{
// remise à zéro de toutes les flèches
for (i = 1; i <= 14 ; i++)
{
valeur = "gf"+i;
top.haut.document.images[valeur].src="/images-nav/shim.gif";
}

// mise en état on de la bonne flche
top.haut.document.images[fleche].src="/images-nav/fleche.gif";

// changement du picto
top.haut.document.vignette.src="/images-nav/pictogdefam"+picto+".gif";

// envoi à l'url voulue
top.bas.location=""+ destination +""
}
//-->