// lecture images

  bouton_2		= new Image(10,10);
  bouton_2.src	= "point2.gif";
  bouton_1		= new Image(10,10);
  bouton_1.src	= "point.gif"; 
 
function changeBoutonImage(normal, changeBouton)
{
  document.images[normal].src = eval(changeBouton + ".src");
  return;
}