Approche polygraphique des ∞-catégories non strictes

We give a new definition of a non-strict ∞-category, called Prolixe. The prolixes are algebras for some monad built on the category of reflexive ∞-graphs. That monad can be defined by a universal property which expresses the universal relaxation of the axioms of ∞-categories On the other hand, the building of this monad uses a 'polygraphical' material. obtained by logical technics.