Jean-Paul Panini, né vers 1695-mort en 1768 — Paul Mantz