Gulielmus Petty - Other languages