By a result of Fiore, Gambino and Kock, the bicategory Poly_E of polynomials defined over a category E admits the construction of free monads when E is locally cartesian closed, has disjoint sums and admits W-types. In these talks I'll establish this property for Poly_E when E is finitely accessible and extensive.