Mahault, Antoine, active 18th century