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

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

function ouestmasouris(e) {
	var dock = document.getElementById('dock') ; // div qui contient la barre de menu.
	
	var x = 0;
	if (IE) x = e.clientX ; // coordonnées x et y de la souris sur IE 5.5
	else x = e.pageX ; // coordonnées x de la souris sur Mozilla ou Netscape 7

	x -= dock.offsetLeft ; // 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 image
		millieu = img_tags[i].offsetLeft + parseInt(img_tags[i].style.width)/2 ;
		delta = millieu - x ;

		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;
		img_tags[i].style.height=coef;
	}
}