Remark 3
Tag 01AD, permanent. Cite it as [Bourbaki, Tag 01AD].
Lie Groups and Lie Algebras, chapter IX, § 2. Maximal tori of compact Lie groups
Let G be a connected Lie group whose Lie algebra is compact. The Cartan subgroups of G are the integral subgroups whose Lie algebras are the Cartan subalgebras of L(G) (the Cartan subgroups of a connected compact group are thus its maximal tori). Theorem 2 and its corollaries remain valid for G, if we replace everywhere the expression “maximal torus” by “Cartan subgroup”. This follows immediately from the fact that, in view of Prop. 5 of §1, no. 4, G is the direct product of a vector group V and a connected compact group K and that the Cartan subgroups of G are the products of V with the maximal tori of K. Moreover, note that it follows from Cor. 6 above that the Cartan subgroups of G can also be defined as the fixers of the Cartan subalgebras of L(G).
Part c) of Theorem 2 can also be proved in the following way. Give G an invariant riemannian metric (§1, no. 3, Prop. 3). Then, for any element of G, there exists a maximal geodesic passing through and the identity element of G (Hopf-Rinow theorem), and it can be verified that the closure of such a geodesic is a subtorus of .\*
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.