Hotman, Nicolas (c.1610-63)