Le problème est lié au bug 838047: problème entre gnome-shell et libwacom. Le débranchement de la tablette évite le plantage. Gaëtan