En vitesse, je repasse plus tard : MATE-tweak, à mon sens, est un 
utilitaire de configuration de l'environnement MATE, pour Gnome, il te 
faut GNOME-tweak.

Bigre. En tapant "gnome-tweak" dans le machin magasin des applications Ubuntu, je découvre sa beeelle traduction française "Ajustements de Gnome", si si, et cette application EST installée, juste, pour le novice elle n'apparaît pas dans le menu "applications". Bref je la lance et elle propose effectivement un tas de paramètres qu'on peut changer et tout et tout.

Mais... je ne vois toujours pas comment expliquer à la bête qu'il faut basculer (au login? comment?) de Compiz à Gnome.

(Je comprends mieux ce qui se passe du reste : au départ avec mon fournisseur de hard Tuxedo, j'avais effectivement choisi Ubuntu Mate, donc j'ai hérité de Compiz naturellement jusqu'ici.)

@ Eric B. :

From: Éric laposte <eric.betheuil@laposte.net>
To: Liste des débutants sur GNU/Linux

Coucou les linuxiens !
Toujours intéressé par la clé moi aussi (je suis loin encore jusqu'au 8 
novembre...)
Je suis passé à Mate 18.10, et j'ai effectivement quelques soucis de 
fenêtres et autres.
Je vais noter tous  ces dysfonctionnements et je tenterai alors de passer
à Antibes puisque Callian n'est plus une RAL...
A +

Bon, on va se revoir à Antibes alors! Je rapporterai mes clés :-)

A noter que ma clé-filtre hardware fonctionne imperturbablement quelle que soit la machine (même mon Ubuntu mort-vivant actuel) alors que la Nitrokey est un peu ballotée comme le reste des menus etc. (mais je dirais que c'est presque évidemment la faute à mon Ubuntu-zombie, honnêtement).

Les gars de Nitro sont extrêmement réactifs et j'en suis encore à faire des tests successifs pour eux ("sudo systemctl disable pcscd"! pour un rustique comme moi, je dois ressemble à Harry Potter tenant sa baguette à l'envers :-D )

-- 
Frédérique et Hervé Sainct
fh.sainct@laposte.net