Infinite Lie algebras