Proposition 3
Tag 098K, permanent. Cite it as [Bourbaki, Tag 098K].
Integration, chapter VI, § 1. Integration of vector-valued functions
— Let be a locally compact space, a -adequate family (Ch. V, §3, No. 1, Def. 1) of positive measures on , and let . Let be a mapping of into ; assume that is scalarly -integrable; there exists a locally -negligible set such that, for every , is scalarly -integrable and . Then, the function , defined for , is scalarly essentially -integrable, and
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.