— Assume that g is splittable. The group Aut0(g) operates simply-transitively on the set of framings of g.
Let e1=(g,h1,B1,(Xα1)α∈B1), e2=(g,h2,B2,(Xα2)α∈B2) be two framings of g. There exists at least one element of Aut0(g) that transforms e1 into e2 (Prop. 1 and Prop. 4). Let k be an algebraic closure of k. There exists an element of Aute(g⊗kk) that transforms h1⊗kk into h2⊗kk (Chap. VII, §3, no. 2, Th. 1). Hence, by Prop. 4 and Cor. 2 of Prop. 2, there exists an element φ of Aute(g⊗kk) that transforms the framing (g⊗kk,h1⊗kk,B1,(Xα1)α∈B1) of g⊗kk into the framing (g⊗kk,h2⊗kk,B2,(Xα2)α∈B2). Since h1 and the Xα1 (resp. h2 and the Xα2) generate g1 (resp. g2), we have φ(g1)=g2, so φ is of the form ψ⊗1 where ψ∈Aut0(g), and ψ transforms e1 into e2.
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.