Cette tâche est longue, voir très longue, il faut environ 4h à ma machine pour traiter une vidéo d'une heure (il y a environ 150 vidéos).

Suite à une demande je mets ici le script que j'ai rapidement écris et qui me permet de traiter d'un coups toute les vidéos d'un dossier.

Quelques informations auparavant :
Les vidéos ont été enregistrées par la société Elphel que nous remercions pour le travail qu'elle a accomplie tout au longs de cette semaine. Le format utilisé pour la vidéo est le Motion JPEG. Le son est en Vorbis.
Les vidéos ont une résolution initiale de 1920x1088 et pèse plusieurs dizaine de gigas. 

#! /bin/bash

for video in *.avi ; do
      dest="/media/disk/final/" # Dossier de destination des vidéos
      video_sans_son=`basename ${video} avi`ogm # Nom du fichier vidéo temporaire
      son=`basename ${video} -video.avi`-sound.ogg # Nom du fichier audio
      fichier_final=`basename ${video} -video.avi`.ogm # Nom du fichier final

      echo "------------------- Traitement de ${video} -------------------"
      ffmpeg2theora -o ${dest}${video_sans_son} -v 3 -V 1000 --optimize --width 960 --height 544 --nosound ${video}

      echo "Jointure son/vidéo"
      oggzmerge -o ${dest}${fichier_final} ${dest}${video_sans_son} ${son}

      echo "Suppression des fichiers temporaires"
rm ${dest}${video_sans_son}
done

Une fois les vidéos ré-encodée et "sonorisée" il faut encore les retravailler de sorte à couper les parties inutiles (début des vidéos). Pour cette partie là pas de script car chaque vidéo est unique.

Et enfin dernière étape : uploader les vidéos sur le serveur.
Pour le moment aucune vidéo n'est officiellement en ligne, donc pas de lien ;) .