Mariette, Jean, 1660-1742, ed.