Grazie!!! Il tuo aiuto è stato prezioso.
Ho scaricato VirtualDub e ho convertito da avi a divx:
da 870 Mb è diventato 760Mb mantenendo la stessa qualità.
Grazie ancora.
Giulia.