Asensio, Eugenio, trad.