function docwidth(){if(document.all) return (document.body.scrollWidth>document.body.clientWidth)?document.body.scrollWidth:document.body.clientWidth;
else return (document.width>window.innerWidth)?document.width:window.innerWidth;};

function position_menu(largeur_cadre) {return docwidth()>largeur_cadre?-(docwidth()-largeur_cadre)/2:0};