Видео от кадров в командной строке OS X или Python?

Я ищу хороший способ превратить стопку изображений в видео на командной строке или Python. Вот моя установка:

• OS X 10.6

• Последовательность изображений или в png или в формате PDF. (т.е. 001.png, 002.png...)

• Хочу, чтобы вывод был максимально несжатым и высокое качество.

• Хочу вывод в также MPEG-4 или avi.

Я знаю convert (т.е. ImageMagik) и ffmpeg но не имейте, имеют много удачи с любым к настоящему времени, таким образом, я надеюсь на некоторое руководство.Спасибо!