de 1713 ya con su nombre; y se tradujo al inglés en 1712, y al alemán en 1731.