Question très bête: ton décodeur satellite est bien relié par HDMI à ton téléviseur?