Example 2
Tag 00AD, permanent. Cite it as [Bourbaki, Tag 00AD].
Algebra, VIII, p. 154, § 9. Radical
Let K be a commutative field and E the algebra of formal power series in the variables with coefficients in K. By the previous example and Example 4 of VIII, p. 26, the radical of E consists of the formal power series with constant term zero. Observe that the ring E is an integral domain and that its radical is not reduced to 0, even though E is a subring of its field of fractions, which is without radical.
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.