Alors, j'ai finalement trouvé la solution dans MPEG StreamClip, mais, accrochez-vous, c'est vraiment tordu.
Alors, d'abord, il faut choisir la rotation voulue dans le menu déroulant Rotation. Jusqu'ici, tout va bien.
Mais si vous vous contentez de faire ça, il fait pivoter la vidéo MAIS PAS le format. En gros, c'est comme si vous avez un dessin dans un cadre, vous pivotez le dessin mais pas la cadre, je vous laisse imaginer… Pas très bien conçu, quand-même, je trouve.
Mais il y a une parade.
Il faut compenser, en fait refaire le cadre en question, en augmentant et réduisant ce qui doit l'être via les options recadrage.
Exemple en image, avec une vidéo 1280*720. Filmée avec la caméra penchée à 90° (format portrait, disons) mais qui s'affiche au format paysage donc les personnages ont les pieds à gauche et la tête à droite.
Donc, comme vous le voyez, réglages de la taille, on laisse tel quel (spot « non mis à l'échelle » par défaut.)
Rotation, 90° à gauche (ou à droite si vous avez filmé dans l'autre sens)
Et dans recadrage, on calcule : ( longueur - largeur ) / 2 = une valeur
Et on met cette valeur en négatif dans haut et bas et en positif dans gauche et droite (ce qui a pour résultat, de rajouter de la hauteur haut et bas (car moins par moins ça fait plus) et d'en enlever sur les côtés).
Et le tour est joué.
Mais c'est tout de même un peu tordu à mon goût.