Paul Lucas — French merchant (1664-1737)