• • Pierre « Laborie » ROCHE (1690–1756)