function displayPics() {	var photos = document.getElementById('galerie_mini1') ; // 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 clic sur ces liens 
						         {
								  liens[i].onclick = 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       
								  						            titre_photo.firstChild.nodeValue = this.title; // On change le texte de titre de la photo 								  						            
								  						            return false; // Et pour finir on inhibe l'action réelle du lien
								  					            };
								 } 
	 
	 					}


 window.onload = displayPics; // Il ne reste plus qu'à appeler notre fonction au chargement de la page