Let H be a Lie group, fT:T→H and f:D(G)→H morphisms of Lie groups such that fT(p(t))=f(t) for all t∈T. There exists a unique morphism of Lie groups f:G→H such that f∘p=f and such that the restriction of f to T is fT.
Put Z=C(G)0; by §1, no. 4, Cor. 1 of Prop. 4, the morphism of Lie groups g:Z×D(G)→G such that g(z,x)=z−1p(x) is a covering; its kernel consists of the pairs (z,x) such that p(x)=z, for which x∈p−1(Z)⊂T. Since the morphism (z,x)→fT(z−1)f(x) from Z×D(G) to H maps Ker g to {e}, there exists a morphism f from G to H such that f∘p=f and f(z)=fT(z) for z∈Z. But we also have f(t)=fT(t) for t∈p(T); since T=Z.p(T), the restriction of f to T is indeed fT.
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.