function displayPics()
{
	var photos = document.getElementById('galerie_mini') ;
	var liens = photos.getElementsByTagName('a') ;
	var big_photo = document.getElementById('photo') ;
	for (var i = 0 ; i < liens.length ; ++i) {
		liens[i].onclick = function() {
			big_photo.src = this.href;
			return false; 
		};
	}
}
window.onload = displayPics;