Helvetius, Johannes, active 1659-1660