  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.
