Difficile de comparer car je suis en gnome/xorg
env | grep -i session
SESSION_MANAGER=local/debian:@/tmp/.ICE-unix/8644,unix/debian:/tmp/.ICE-unix/8644
XDG_SESSION_PATH=/org/freedesktop/DisplayManager/Session1
GNOME_DESKTOP_SESSION_ID=this-is-deprecated
DESKTOP_SESSION=/usr/share/xsessions/gnome-xorg
XDG_SESSION_DESKTOP=GNOME
XDG_SESSION_TYPE=x11
XDG_SESSION_CLASS=user
XDG_SESSION_ID=3
DBUS_SESSION_BUS_ADDRESS=unix:path=/run/user/1001/bus
et je ne connais pas cet environnement lightdm
Quelle session utilises tu sur ton PC Stretch où ça fonctionne bien?
Il manque certainement une brique dans Debian Edu, mais laquelle?
Tu peux ceci dit changer de desktop dans Debian Edu
https://wiki.debian.org/DebianEdu/Documentation/Stretch/HowTo/Desktop