Tyssot de Patot and His Work 1655–1738