let tabbed_box = Configwin_ihm.tabbed_box