Poisson catenarity in Poisson nilpotent algebras

We prove that for the iterated Poisson polynomial rings known as Poisson nilpotent algebras (or Poisson-CGL extensions), the Poisson prime spectrum is catenary, i.e., all saturated chains of inclusions of Poisson prime ideals between any two given Poisson prime ideals have the same length.