A Formal Series Approach to the Center Manifold Theorem. - François Castella; Philippe Chartier; J. Sauzeau (Found. Comput. Math., 2018)