Lie_theory loading ...