function show_menu()
{
    if (!file_exists(DOCUMENT_REAL_ROOT . '/config/main_menu.xml')) {
        migrate_config_2_2();
    }
    // Build menu
    $profile = $_SESSION['OCS']['profile'];
    $urls = $_SESSION['OCS']['url_service'];
    $menu_serializer = new XMLMenuSerializer();
    $menu = $menu_serializer->unserialize(file_get_contents('config/main_menu.xml'));
    $renderer = new MainMenuRenderer($profile, $urls);
    echo $renderer->render($menu);
}
        $arg = $item[0];
        $res_column = mysql2_query_secure($sql, $_SESSION['OCS']["readServer"], $arg);
        //	echo "<i>".generate_secure_sql($sql,$arg)."</i><br>";
        while ($item_column = mysqli_fetch_row($res_column)) {
            if ($item_column[0] == "HARDWARE_ID" and !isset($_SESSION['OCS']['SQL_TABLE_HARDWARE_ID'][$item[0]])) {
                $_SESSION['OCS']['SQL_TABLE_HARDWARE_ID'][$item[0]] = $item[0];
            }
            $_SESSION['OCS']['SQL_TABLE'][$item[0]][$item_column[0]] = $item_column[0];
        }
    }
}
/*****************************************************GESTION DU NOM DES PAGES****************************************/
//Config for all user
if (!isset($_SESSION['OCS']['url_service'])) {
    if (!file_exists(DOCUMENT_REAL_ROOT . '/config/urls.xml')) {
        migrate_config_2_2();
    }
    $url_serializer = new XMLUrlsSerializer();
    $urls = $url_serializer->unserialize(file_get_contents('config/urls.xml'));
    $_SESSION['OCS']['url_service'] = $urls;
    // Backwards compatibility
    $pages_refs = array();
    foreach ($urls->getUrls() as $key => $url) {
        $pages_refs[$key] = $url['value'];
    }
    $_SESSION['OCS']['URL'] = $pages_refs;
} else {
    $urls = $_SESSION['OCS']['url_service'];
    $pages_refs = $_SESSION['OCS']['URL'];
}
/*****************************************************GESTION DES FICHIERS JS****************************************/