Réinitialiser la grille d'applications de GNOME 3

Après installations, désinstallations, déplacement d'icônes et erreurs éventuelles de manipulation. Pour remettre la grille d'applications du shell GNOME d'équerre, il suffit de taper dans un Terminal:

gsettings reset org.gnome.shell app-picker-layout 

Puis, de se déloguer, et se reloguer.