Gracias. Probaré el Toast ese a ver qué tal.
Por ahora he probado con el avidemux en Linux, y el resultado ha sido negativo... el vídeo se convierte a MP4 y se reproduce en la PS3, pero no se reproduce bien. El vídeo pega tirones, es como si se reprodujuse un instante muy rápido y luego volviese para atrás. No se puede ver bien.
------------------------------ EDITO ------------------------------
Miré el Toast 9, pero como también es de pago, lo he descartado en un principio. Al final he logrado convertirlo sin problemas utilizando el MP4Box, de hecho me funciona perfectamente en Linux (que es el SO que suelo utilizar) con la siguiente línea de comandos, para convertir el archivo FILE0001.MOV a prueba.mp4:
doragasu@doragasu-64:~$ MP4Box -add FILE0001.MOV prueba.mp4
IsoMedia import - track ID 1 - Video (size 1280 x 720)
IsoMedia import - track ID 2 - Audio (SR 48000 - 2 channels)
Saving to prueba.mp4: 0.500 secs Interleaving
El vídeo se convierte y se ve perfecto en la PS3. También he estado probando para cambiar la relación de aspecto (que en el MOV original no estaba bien), y la línea de comandos se complica un poquito, pero sigue siendo fácil:
doragasu@doragasu-64:~$ MP4Box -add FILE0001.MOV#trackID=1:par=1:1 -add FILE0001.MOV#trackID=2 prueba.mp4
IsoMedia import - track ID 1 - Video (size 1280 x 720)
IsoMedia import - track ID 2 - Audio (SR 48000 - 2 channels)
Saving to prueba.mp4: 0.500 secs Interleaving
Así evito tener que instalar software comercial, y además el MP4Box está disponible para Windows, Linux y creo que también para Mac.