Lacrampe, Pierre, active 17th century-18th century, Inquisitor General