function init(num){
  for (i=1;i<=4;i++) parent.Gauche.document["Puce_0" + i].src="Images/Navi.gif";

  if (num) parent.Gauche.document["Puce_0" + num].src="Images/Navi_on.gif";
}