Hello.
Au boulot, on utilise parfois ce petit module :
▷ AJA HA5 - Convertisseur HDMI vers SD/HD-SDI audio et vidéo en vente sur Digistore

Il fonctionne bien, fait bien son job.

Pour du grand public, peut être un peu cher.....

Sinon, une alternative, mais pas testé :
HDMI to HD SDI converter

Cdlt.

Nicolas