Pour les opérades, des théories de réécritures nous permettent d'étudier les opérades et leur koszulité, mais pour les propérades, nous n'avons pas encore de telle théorie. Le but de cet exposé est d'étudier le cas particulier d'une famille de propérades à paramètres avec pour générateurs un produit associatif et un coproduit coassociatif, et voir dans ce cas si la confluence d'une propérade est équivalente à sa koszulité. L'implication directe est assez simple comme la plupart des propérades confluentes sont déjà connues dans la littérature, mais pour l'équivalence, nous avons besoin d'assistance informatique via Sagemath pour calculer les dimensions de certaines propérades libres et d'idéaux propéradiques.