Villar Miguel, Antonio, trad.