comment pivoter une vidéo de 90°

Avant que les remarques ne viennent, je précise que je suis une triple buse en vidéo.
Récemment, j'ai quand même voulu faire un petit essai.
J'ai fait comme je fais en photo, recherche du meilleur cadrage et clic.
Oui mais le meilleur cadrage selon la méthode "photo", c'était en orientation portrait.
L'appareil a sagement obéi et enregistré ses 5 minutes.
Mais à la restitution, l'image est forcément en orientation paysage, donc le sujet est pivoté de 90 degrés.
Qui saurait m'indiquer comment changer le format (autrement qu'en basculant l'écran de TV) ?
Existe t'il des logiciels pour cela, et comment s'appelle la fonction si elle existe ?
Merci de votre aide,
je vais être charié, mais j'en sortirai moins bête



Récemment, j'ai quand même voulu faire un petit essai.
J'ai fait comme je fais en photo, recherche du meilleur cadrage et clic.
Oui mais le meilleur cadrage selon la méthode "photo", c'était en orientation portrait.
L'appareil a sagement obéi et enregistré ses 5 minutes.
Mais à la restitution, l'image est forcément en orientation paysage, donc le sujet est pivoté de 90 degrés.
Qui saurait m'indiquer comment changer le format (autrement qu'en basculant l'écran de TV) ?
Existe t'il des logiciels pour cela, et comment s'appelle la fonction si elle existe ?
Merci de votre aide,
je vais être charié, mais j'en sortirai moins bête