  We prove a conjecture of Chapoton from 2010 stating that the pre-Lie operad,
as a Lie algebra in the symmetric monoidal category of linear species, is
freely generated by the free operad on the species of cyclic Lie elements.

K-Theory and Homology;Category Theory