let
hotkey =
Configwin_ihm
.hotkey