I am wondering if the following rings are catenary:
- If $k$ is a field, is the ring of formal power series $k[[X_1,\dots,X_n]]$ catenary?
- Is the ring of complex power series with a non-zero radius of convergence $\Bbb C\{X_1,\dots,X_n\}$ (id est the ring of germs of holomorphic functions at zero) a catenary ring?