Qual um bom editor de áudio e vídeo na opnião de vocês? Se conhecerem um que rode em linux melhor ainda.