[Wood 013] coccinelle coccinelle punaise