Con un codec DivX puoi salvarli riducendo le dimensioni mantenendo una buona qualità.