Salut, deux solutions :
1) Alt+F2, puis la commande
gnome-session-quit. Testé et fonctionnel.
Devrait pouvoir s'utiliser avec un raccourci personnalisé aussi.
2) Ou bien via la ligne de commande :
$ gsettings set org.gnome.shell always-show-log-out true
permettant vu l'intitulé du paramètre de toujours afficher dans le menu la commander Déconnecter, l'équivalent se réalisant aussi avec l'éditeur graphique
dconf-editor.
Un deuxième utilisateur étant préconisé (par exemple : pour recompiler les paquets rpm; pour vérifier qu'un éventuel bug n'est pas lié à un profil; ou simplement pour se prémunir d'une élévation de droits malencontreuse avec un compte administrateur), n'ai pas testé cette méthode :-D