Ciao! Qualcuno sa indicarmi un encoder AVI -> MPEG-4 per linux? Ho cercato tra i pacchetti Debian (unstable) ma non ho trovato nulla... possibile? Nicola