Corollary
Tag 015I, permanent. Cite it as [Bourbaki, Tag 015I].
Lie Groups and Lie Algebras, chapter VIII, § 8. Symmetric invariants
The group Aut is open and closed in Aut() in the Zariski topology.
Prop. 6 shows that Aut is closed. Let be an algebraic closure of . The group Aut()Aut is finite (§5, no. 3, Cor. 1 of Prop. 5); a fortiori, the group Aut()Aut is finite. Since the cosets of Aut() in Aut() are closed, it follows that Aut is open in Aut().
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.