puce_fleche_d_15=new Image(15,15);puce_fleche_d_15.src="img/puce-fleche-d-15.gif";puce_fleche_d_15_anime=new Image(15,15);puce_fleche_d_15_anime.src="img/puce-fleche-d-15-anime.gif";fond_nav_on=new Image(25,25);fond_nav_on.src="img/fond_nav_on.gif";