Computing normal forms and formal invariants of dynamical systems by means of word series. (June 2016)