Bonjour,
C'est l'environnement par défaut. Je suis passé de W10 à Ubuntu 18.04 et je n'ai rien changé depuis.
Je viens de jeter un coup d’œil sur internet, l’environnement par défaut est GNOME 3, sauf si des mises à jour automatiques ont changé la version de l'environnement.
J'ai essayé ceci:
$ echo $XDG_CURRENT_DESKTOP
ubuntu:GNOME