Definition 2
Tag 0106, permanent. Cite it as [Bourbaki, Tag 0106].
Lie Groups and Lie Algebras, chapter VIII, § 3. Subalgebras of split semi-simple Lie algebras
A subalgebra of containing and satisfying the equivalent conditions of Prop. 11 is called a parabolic subalgebra of . A parabolic subalgebra of is a parabolic subalgebra of where is a splitting Cartan subalgebra of .
This definition extends immediately to the case in which is a split reductive Lie algebra.
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.