° ( 1717 .)