// JavaScript Document
function changeImage(nom, idmini) {
	document.getElementById('imageTailleReelle').style.backgroundImage = "url("+nom+")";
	document.getElementById('imageTailleReelle').style.backgroundPositionY = "center";
	document.getElementById('lienImage').href = nom;
	document.getElementById(idmini).style.borderColor= '#8A0092';
}