// JavaScript Document

function diapo(nom){
	var nom=nom.replace("miniatures", "big");
	document.getElementById('big').src=nom;
	}