function marge()
{	
	var marge, margeGche, liste, titreh1, margeDte;
	// en premier lieu, on empêche le redimensionnement en hauteur pour une fenetre inférieure à 600px;
	if(document.body.clientHeight < 600)
		{
			document.body.style.height = 600+'px';
		}

	// calcul de la largeur de la fenêtre
		var larg = document.body.offsetWidth;
	// si la fenêtre est plus large que 940 px
	if(larg > 940)
		{
			// calcul de la largeur de la marge gauche
			marge = ((larg-930) / 2); // (largeur de la fenetre - largeur de la zone de texte) divisé par deux car 2 marges (gauche et droite)
			margeGche = marge + 225; // marge + largeur de la zone de texte à gauche
			// récup des ul à placer
			liste = document.getElementsByTagName("ul");
			// pour chaque ul trouvé
			for (var i = 0 ; i < liste.length ; ++i)  
				{ 
					//on vérifie si sa classe est menu
					if (liste[i].className == 'menu') 
					{
						// si oui, on lui attribue la marge gauche qui va bien
						liste[i].style.marginLeft= margeGche+'px'; 
						liste[i].style.width = larg - margeGche+'px';
					}
				}
					titreh1 = document.getElementById("intro_index");

					if(titreh1)
					{
						margeDte = ((larg - 930)/2)+10;
						// marge pour IE
						if(navigator.appName == "Microsoft Internet Explorer")
							{
								margeDte = margeDte/2;
								titreh1.style.marginRight = margeDte+"px";
							}
						else
						{
							titreh1.style.marginRight = margeDte+"px";
						}
					}

		}
		// sinon on redimensionne pour corriger les bugs de positionnement de IE
		else
		{
			document.body.style.width = 940+'px';
						marge = 5; // (largeur de la fenetre - largeur de la zone de texte) divisé par deux car 2 marges (gauche et droite)
			margeGche = marge + 225; // marge + largeur de la zone de texte à gauche
			// récup des ul à placer
			liste = document.getElementsByTagName("ul");
			// pour chaque ul trouvé
			for (var i = 0 ; i < liste.length ; ++i)  
				{
					//on vérifie si sa classe est menu
					if (liste[i].className == 'menu') 
					{
						// si oui, on lui attribue la marge gauche qui va bien
						liste[i].style.marginLeft= margeGche+'px';
						liste[i].style.width = larg - margeGche+'px';
					}
				}

		}
}