Cómo reducir el tamaño de un video

Imagina que acabas de terminar un vídeo que ha quedado precioso. El problema es que pesa demasiado, y eso te impide poder enviarlo, o incluso copiarlo a otro dispositivo. ¿Qué hacer? Lo que necesitas es reducir el tamaño de un vídeo, y para eso dispones de varias herramientas para lograrlo. Si te has encontrado alguna vez con este problema y...