Esiste un software completamente free che consenta di comprimere file video dei principali formati per ridurne le dimensioni?