• • Jean Dit Laborie ROCHE (1670–)