MIN = 33 ;  // largeur minimum en pixel
MAX = 120 ; // largeur maximum en pixel
REACTION = 2 ; // réaction des icons par rapport à la souris. plus grand --> plus d'icons qui réagissent

A = ((MIN-MAX)/(MAX * REACTION)) ; // coef directeur de la droite d'agrandissement
IE = document.all ? 1 : 0 ;
img_tags = new Array();

function ouEstMaSouris(e)
{
	var dock = document.getElementById('dock') ; // div qui contient la barre de menu.

	var y = 0;
	if (IE)	y = e.clientY +200; // coordonnées y de la souris sur IE 5.5
	else	y = e.pageY ;  // coordonnées y de la souris sur Mozilla ou Netscape 7
		
	y -= dock.offsetTop ; // on modifie la coordonnée pour quelle soit relatif au div et non à la fenetre.
	
	img_tags = dock.getElementsByTagName('img') ; // les images contenus dans le div
	
	for(i=0 ; i<img_tags.length ; i++) // pour chaque images
	{
		millieu = img_tags[i].offsetTop + parseInt(img_tags[i].style.height)/2 ;
		delta = millieu - y ;

		if (delta < 0) delta *= -1 ;

		coef = A * delta + MAX ;

		if (coef < MIN) coef = MIN ;
		else if (coef > MAX) coef = MAX ;

		img_tags[i].style.width=coef +200;
		img_tags[i].style.height=coef;
	}
}