Raspbian pas de son HDMI

Bonjour,
J’ai installé Raspbian Jessie Pixel, LibreElec et Retropie sur mon Rpi3 grâce à berryboot.

Après avoir booté sur LibreElec ou Retropie, le son fonctionne sur la TV branchée en HDMI, alors que sur Raspbian aucun son ne sort.

Par quoi commencer pour résoudre ce problème de son ?

pi@raspberrypi:~ $ uname -a
Linux raspberrypi 4.4.32v7-aufs #1 SMP Fri Nov 18 23:17:35 CET 2016 armv7l GNU/Linux
pi@raspberrypi:~ $ cat /etc/os-release
PRETTY_NAME=« Raspbian GNU/Linux 8 (jessie) »
NAME=« Raspbian GNU/Linux »
VERSION_ID=« 8 »
VERSION=« 8 (jessie) »
ID=raspbian
ID_LIKE=debian
HOME_URL=« http://www.raspbian.org/ »
SUPPORT_URL=« RaspbianForums - Raspbian »
BUG_REPORT_URL=« RaspbianBugs - Raspbian »
pi@raspberrypi:~ $ lsmod
Module Size Used by
bnep 9872 2
hci_uart 17465 1
btbcm 5563 1 hci_uart
bluetooth 316126 22 bnep,btbcm,hci_uart
i2c_dev 5467 0
fuse 80688 3
ipv6 331318 60
joydev 8885 0
brcmfmac 174019 0
brcmutil 5585 1 brcmfmac
snd_bcm2835 19172 1
cfg80211 416246 1 brcmfmac
snd_pcm 72713 1 snd_bcm2835
rfkill 14525 4 cfg80211,bluetooth
snd_timer 18513 1 snd_pcm
snd 49814 5 snd_bcm2835,snd_timer,snd_pcm
bcm2835_wdt 3128 0
bcm2835_gpiomem 2939 0
uio_pdrv_genirq 3153 0
uio 7715 1 uio_pdrv_genirq
pi@raspberrypi:~ $

Merci