let hotkey = Configwin_ihm.hotkey