function displayPics() 
{ 
	var photos = document.getElementById('galerie_mini') ; 
	// On récupère l'élément ayant pour id galerie_mini 

	var liens = photos.getElementsByTagName('a') ; 
	// On récupère dans une variable tous les liens contenu dans galerie_mini 

	var big_photo = document.getElementById('big_pict') ; 
	// Ici c'est l'élément ayant pour id big_pict qui est récupéré, c'est notre photo en taille normale 

	var titre_photo = document.getElementById('photo').getElementsByTagName('dt')[0] ; 
	// Et enfin le titre de la photo de taille normale 

	// Une boucle parcourant l'ensemble des liens contenu dans galerie_mini 
	for (var i = 0 ; i < liens.length ; ++i) { 
	// Au clique sur ces liens 
	liens[i].onmouseover = function() { 
		big_photo.src = this.href; // On change l'attribut src de l'image en le remplaçant par la valeur du lien 
		big_photo.alt = this.title; // On change son titre 
		return false; // Et pour finir on inhibe l'action réelle du lien 
		}; 
	} 
}