Lazard Lie subgroup