@zing
Merci. J'ai testé et ça n'a pas résolu le problème malheureusement.
J'ai appliqué la mise à jour 8.1.1 et ça n'a rien donné non plus.
Sinon, je viens de trouver une solution de contournement pour corriger le problème de musique du menu :
Options du son -> Sortie audio -> passer de HMDI à Analog Output puis repasser à HDMI.
A noter que cette manip est à faire à chaque démarrage d'ES.
J'espère qu'une solution définitive sera appliquée sur la prochaine version.