let
tabbed_box =
Configwin_ihm
.tabbed_box