Non-commutative Hopf algebra of formal diffeomorphisms