Proposition 3
Tag 01E8, permanent. Cite it as [Bourbaki, Tag 01E8].
Lie Groups and Lie Algebras, chapter IX, § 5. Conjugacy classes
Let be an automorphism of G, and let be a point of G fixed by .
a) There exists an element of , fixed by and by Ad , such that exp is regular.
b) There exists a regular element of G fixed by and commuting with .
Let H be the group of fixed points of a maximal torus of , and K the identity component of . This is a connected closed subgroup of G; further, by Cor. 5 of Th. 2 of §2, no. 2, there exist maximal tori of G containing S and , so K is of maximal rank and contains S and . On the other hand, K is stable under since S and are; denote by V the set of fixed points of in K. Then
so is contained in the centralizer of S in ; but the latter reduces to S (loc. cit., Cor. 6), hence finally . Lemma 1 now implies that K is commutative, hence is a maximal torus of G (since it is connected and of maximal rank). It contains S and , and is equal to the identity component of ; assertion a) now follows from Lemma 2. We deduce b) by taking exp .
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.