Les opérades de battage (« shuffle operads » en anglais) ont été introduites pour expliciter les actions des groupes symétriques sur les opérades symétriques. Des méthodes de réécriture ont alors été appliquées aux opérades symétriques à travers ces opérades : en particulier, une notion de base de Gröbner a été introduite pour les opérades de battage à partir d'un ordre monomial fixé.
Dans cet exposé, nous montrons que cette approche par réécriture s'inscrit dans un cadre de réécriture en dimension supérieure des opérades de battage. Ce cadre nous permet de construire de manière explicite une résolution à la Anick, et nous montrons une condition suffisante de Koszulité pour les opérades.