AV Editor: una herramienta especial para traductores audiovisuales