Remark 1
Tag 00R4, permanent. Cite it as [Bourbaki, Tag 00R4].
Algebra, VIII, p. 85, § 5. Commutation
The canonical description of the A-module M is an isomorphism of left , B)-bimodules. By the corollary of Proposition 9, VIII, p. 71, the mapping Hom(1)) from B to End is a ring isomorphism.
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.