@Scavy Oui c'est étrange parce que j'ai vérifié et j'avais bien le force_hdmi=1 en bas du fichier :
Je viens de le retirer, de passer à 1 le hdmi_force_hotplug (déjà présent mais à 0 un peu plus haut dans le fichier) puis de retester, sans plus de succès.
Ce qui est étrange c'est que la TV ne semble pas recevoir le moindre signal HDMI : elle se comporte comme si la prise HDMI n'était pas branchée.