// JavaScript Document

/* FUNCTION _________________________________________________________*/

// Diaporama à vignettes
function vignettes(element){
	var big_src = element.src.replace("miniatures","big");
	document.getElementById('big').src=big_src;
}