Proposition 26
Tag 0AJI, permanent. Cite it as [Bourbaki, Tag 0AJI].
Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group
Let G be a finite-dimensional connected real or complex Lie group. The following conditions are equivalent: (i) is semi-simple; (ii) the radical of G is ; (iii) every normal commutative integral subgroup of G is equal to . Condition (ii) means that the radical of is and hence (i) (ii) (Chapter I, § 6, Theorem 1). The equivalence of (i) and (iii) follows from § 6, no. 6, Proposition 14.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.