function displayPics()
{

   if($('vignettes'))
   {

   	var photos = document.getElementById('vignettes') ;
   	// On récupère l'élément ayant pour id galerie_mini
   	var liens = $$('#vignettes a') ;
   	// On récupère dans une variable tous les liens contenu dans galerie_mini
   	var big_photo = $('zoomProduit') ;
   	
   	// 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('zoom').getElementsByTagName('dt')[0] ;
   	// Et enfin le titre de la photo de taille normale
   	
   	for(var i = 0 ; i < liens.length ; i++)
   	// Une boucle parcourant l'ensemble des liens contenu dans galerie_mini
   	{
   		liens[i].onclick = function(e)
   		// Au clique sur ces liens
   		{
   			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
   			//$('legende').update(this.title) ;
   		//	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
   		}
   	}
   	return false ; // Et pour finir on inhibe l'action réelle du lien
	}
	else
	  	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