Presser Ctrl et un chiffre change la vue sur la grille

La grille possède des raccourcis pour changer de vue (avec les chiffres de 0 à 9, puis avec Shift puis les chiffres). Or, faire un Ctrl+Shift+0 (remettre le zoom à 100% sous FF) lance la vue correspondant à Shift+0 (t-SNE) ce qui est très lourd (dans tous les sens du terme).

Bref si la touche Ctrl ou Alt est enfoncée on ne devrait pas lancer les raccourcis si ces touches ne sont pas attendues.