coccinelle sans point