Perte du pavé numérique sur Debian et Ubuntu

Une mise à jour récente de Debian et d'Ubuntu a fait perdre le pavé numérique sur certains de ces systèmes.

Après avoir vérifié les touches Verr Num (Num Lock) et Caps Lock, on se rend compte qu'un paramètre a changé dans la configuration du clavier.

Après avoir lancé gnome-keyboard-properties, dans la section "Touches de la souris", on obtient l'écran suivant et on se rend compte que la case à cocher "Permettre le contrôle du pointeur par le clavier" (Sur les versions Anglaises de Debian: "Pointer can be controlled using the keypad") est cochée.

C'est ce paramètre dans la configuration de Gnome qui nous ennuie, il suffit donc de le décocher pour retrouver un pavé numérique fonctionnel.