Coccinelle variable (4)