// JavaScript Document

<!-- Begin
bouton1 = new Image();
bouton2 = new Image();
bouton3 = new Image();
bouton4 = new Image();
bouton5 = new Image();
bouton6 = new Image();
bouton7 = new Image();
bouton8 = new Image();
bouton1.src = "/textesphp/bout/texteon.png";
bouton2.src = "/textesphp/bout/auteurson.png";
bouton3.src = "/textesphp/bout/themeson.png";
bouton4.src = "/textesphp/bout/accueilon.png";
bouton5.src = "/textesphp/bout/biographieon.png";
bouton6.src = "/textesphp/bout/supplementson.png";
bouton7.src = "/boutretouron.gif";
bouton8.src = "/voteon.png";

-->