Les autres formats ne semblent pas autorisés via le hdmi.
Comment ça ?
Par le HDMI, il y a juste un flux d'image qui passe. Tu seras juste limité sur l'enregistreur, par la taille de tes images et le frame rate de ton flux out par le HDMI. Mais le choix du codec est libre, non ?.
Le ProRes, c'est le codec inventé par Apple pour la post-prod sur Mac. Tu ne pourras rien en faire sur Window à part le lire et je ne suis même pas certain. Il y a une version Windows ProRes, mais ce n'est pas du tout le même codec, il a juste le nom. Sur windows, il faut que tu utilises un des DNx qui en gros est l'équivalent du ProRes, développé par Avid, comme codec de post-prod.