Lie_algebra_extension loading ...