Among other results, we obtain here a normal atomic domain A such that
A[X] is not atomic but any reducible element in A is a product of two
irreducible elements (an atomic domain is a domain in which every non
zero nonunit is a product of irreducible elements).