// Fichier JavaScript


function LancementMenu() 
{
// Page ouverte au maximum de l'écran
	window.moveTo(0,0);
	window.resizeTo(screen.width,screen.height-30);  

// Placement du div
	document.getElementById("divMenuRuban");
	 
}

//fonction qui récupère la largeur de l'écran et l'affecte à une varaible globale
function recupererLargeurEcran()
{
    if (document.body)
    {
        largeurEcran = (document.body.clientWidth);
    }
    else
    {
        largeurEcran = (window.innerWidth);
    }
}