Son hdmi sous Debian sid

bonjour
sur un debian sid, j’ai 1 carte son Intel intégrée + 1 carte son USB Focusrite Scarlett 2i4
Le tout installé avec jack et pulseaudio fonctionne bien.

Mais quand je lance vlc sur une télé connectée en hdmi j’ai l’image mais le son passe par l’INTEL ou la Focusrite avec pavucontrol.
Je ne vois pas trace de HDMI ni dans alsamixer, ni dans pulseaudio, jack ou VLC.

Comment faire passer le son dans la télé ?

Dans pulseaudio ouvrir l’onglet configuration. cela ne saute pas aux yeux !

Bonjour Kmchen,

Je pense que tu trouvera ton réglage ici pour pulseaudio avec VLC (on y retrouve ce que suggère jweber)

https://debian-facile.org/doc:media:pulseaudio

Je ne vois pas d’application pulseaudio directement accessible mais j’ai pavucontrol qui ne contient pas d’onglet configuration.
Je ne vois pas de référence à VLC dans le lien pulseaudio donné.

Attention à ne pas confondre dans les menus « contrôle du volume pulse audio » et le simple réglage « préférences du son »
dans pavucontrol il devrait y avoir cet onglet :

Effectivement, la fénêtre était trop petite chez moi, fallait scroller.

Merci les gars. Pb résolu