We construct a normal,
locally compact, first countable, separable, real compact topological space
which is not countabley paracompact. This construction is performed under
the (relatively consistent) set-theoretic hypotheses: Martin’s Axiom plus
♢c(E).