Formal normal forms and formal embeddings into flows for power-log transseries

The Dulac series are the asymptotic expansions of first return maps in a neighborhood of a hyperbolic polycycle. In this article, we consider two algebras and of power-log transseries (generalized series) which extend the algebra of Dulac series. We give a formal normal form and prove a formal embedding theorem for transseries in these algebras.