history date et heure, terminator redefinition layout et keybinding