Bouvier's Conjecture Is True

We construct a local UFD $A$ with $\dim A=2$ and $\dim A[X]=4$. Since every UFD is a Krull domain, $A$ is a finite-dimensional non-Jaffard Krull domain, proving Bouvier’s conjecture.