[coccinelles-0532.jpg]