Alguien conoce un buen editor de videos para debian??? Necesito poder editar videos en distintos formatos...