[(#SET{menu_lister,#LISTE{lister_config,lister_exec,lister_objets,lister_plugins,lister_extensions_php}})]