Vargas, José de, trad.