diff -up menutree/menutree.pages.inc menutree_new/menutree.pages.inc
--- menutree/menutree.pages.inc	2010-10-05 20:26:20.000000000 +0200
+++ menutree_new/menutree.pages.inc	2010-10-31 12:39:36.124872298 +0100
@@ -68,7 +68,7 @@ function menutree_display($menu, $title_
   $intro = variable_get('menutree_intro_text_' . $menu['menu_name'], '');
   $description = '';
   if (!empty($intro)) {
-    $description = check_markup($intro, FILTER_FORMAT_DEFAULT, FALSE);
+    $description = check_markup($intro, filter_fallback_format(), FALSE);
   }
 
   $tree = menu_tree_output(menu_tree_all_data($menu['menu_name']));
Les sous-répertoires menutree/po et menutree_new/po sont identiques.