this.oldmenu="false";
this.oldbouton="false";

function detection() 
{document.write('<LINK REL=STYLESHEET HREF="text.css" TYPE="text/css">');}

function entre(nom)
{
chemin="images/interne/";
document.images[nom].src=chemin+nom+"_f2.gif";
this.oldbouton=nom;
}

function sort()
{
chemin="images/interne/";
if(this.oldbouton!="false")
{document.images[oldbouton].src=chemin+oldbouton+".gif";
this.oldbouton="false";}
}