Sexysets with Coccinelle (1)