diff --git a/htdocs/main.inc.php3 b/htdocs/main.inc.php3
index e560a50f391..00f5890f966 100644
--- a/htdocs/main.inc.php3
+++ b/htdocs/main.inc.php3
@@ -202,40 +202,13 @@ function top_menu($head)
print "
";
print '';
- print '';
- }
- else
- {
- print '-';
- }
+ if (!defined(MAIN_MENU_BARRETOP))
+ {
+ define("MAIN_MENU_BARRETOP","default.php");
+ }
- print '';
- }
- else
- {
- print '-';
- }
+ require("includes/menus/barre_top/".MAIN_MENU_BARRETOP);
- print '';
print '';
print '';