  Based on two isomorphisms of Hopf algebras, we provide a bound in the optimal
order on the remainder of the truncated Taylor expansion for controlled
differential equations driven by branched rough paths.
