Para exportar un video a formato AVI en Windows, se debe ir al menú Archivo y seleccionar la opción Exportar > Exportar película, seleccionar el formato Windows AVI y asignar un nombre al archivo, y luego hacer clic en Aceptar para guardar el video exportado.