  We introduce in this paper a new formalisation of positive opetopes where
faces are organised in a poset. Then we show that our definition is equivalent
to that of positives opetopes as given by Marek Zawadowski.
