Lie groups and lie algebras - Bourbaki Nicolas (1973)