  The aim of this article is to give a criterion, generalizing the criterionintroduced by Priddy for algebras, to verify that an operad is Koszul. Wedefine the notion of a Poincare-Birkhoff-Witt basis in the context of operads.Then we show that an operad having a Poincare-Birkhoff-Witt basis is Koszul.Besides, we obtain that the Koszul dual operad has also aPoincare-Birkhoff-Witt basis. We check that the classical examples of Koszuloperads (commutative, associative, Lie) have a Poincare-Birkhoff-Witt basis.
Wedefine the notion of a Poincare-Birkhoff-Witt basis in the context of operads. Then we show that an operad having a Poincare-Birkhoff-Witt basis is Koszul.