On the Lie enveloping algebra of a post-Lie algebra (article, K. Ebrahimi-Fard, A. Lundervolt, H. Munthe-Kaas)