  This expository paper focuses on free Lie $K$-algebras and the basic PBW
theorem. We argue in various ways that the basic PBW theorem is a quite close
consequence of the Magnus-Witt theorems concerning free Lie algebras.
