Me hariais de una gran utilidad si sabeis alguna aplicación bajo linux que pase el formato .avi de videos divx a .mpg o mpeg2. Gracias.