Как я могу преобразовать файл AVI во что-то, что iPod может просмотреть?

Мой сын получил DVD с некоторыми файлами AVI его футбольного матча. (Я думаю, что они от видеокамеры Sharp, но я не на 100% уверен в этом).

Как я могу преобразовать их в формат, который он может просмотреть на своем iPod Touch?

У меня есть Mac, Linux и доступные машины Windows, таким образом, любые определенные для платформы рекомендации приветствуются.