Conoscete dei convertitori video da un formato all'altro? In particolare da avi a 3gp

Grazie