[bandecoccinelle2.gif]