Archivmaterialien zu J. B. Robinet, 1735-1820 - Robinet, J. B.