Estadísticas de Análisis de la utilidad de herramientas de traducción automática en traducción especializada. La traducción inglés-español de sentencias del Tribunal Europeo de Derechos Humanos