function changer_img(img,source) {
   window.document.getElementById(img).src=source;
}

/* Préchargement des images des onmouseover dans le cache
   L'efficacité de ces lignes de code n'a pas pu être réellement testée
   mais le résultat fonctionne correctement */

var a,b,c,d,e;
a = new Image; 
b = new Image; 
c = new Image; 
d = new Image; 
e = new Image; 
a.src = "images/emmanuel_on.jpg";		
b.src = "images/vianney_on.jpg";
c.src = "images/jehan_off.jpg";
d.src = "images/emmanuel.jpg";
e.src = "images/vianney.jpg";