[Rock 025] coccinelle