  The width of a well partial ordering (wpo) is the ordinal rank of the set of
its antichains ordered by inclusion. We compute the width of wpos obtained as
cartesian products of finitely many well-orderings.
