if(menu_actuel == undefined) var menu_actuel = null;

function menu(menu) {

    if(menu_actuel) $("#menu-" + menu_actuel).slideUp("normal");

    if(menu_actuel == menu) {
        $("#menu-" + menu_actuel).slideUp("normal");
        menu_actuel = null;
        
    } else {
        $("#menu-" + menu).slideDown("normal");
        menu_actuel = menu;
    }
    return false;
}