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
	
	var diffIE = (navigator.appName == 'Netscape');

	// Une boucle parcourant l'ensemble des liens contenu dans galerie_mini
	for (var i = 0 ; i < liens.length ; ++i) {
		if (i==0)
		{
			if (diffIE)
			{
				liens[i].firstChild.style.borderColor='#FF0000';
			}
			{
				liens[i].firstChild.style.filter='alpha(opacity=40)';
			}
		}
		// Au clique 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
			for (var j = 0 ; j < liens.length ; ++j) {
				if (diffIE)
				{
					liens[j].firstChild.style.borderColor='transparent';
				}
				{
					liens[j].firstChild.style.filter='alpha(opacity=100)';
				}
			}
			if (diffIE)
			{
				this.firstChild.style.borderColor='#FF0000';
			}
			{
				this.firstChild.style.filter='alpha(opacity=40)';
			}
			return false; // Et pour finir on inhibe l'action réelle du lien
		};
	}
}
// dans page type <body onload
//window.onload = displayPics;
// Il ne reste plus qu'à appeler notre fonction au chargement de la page
