coccinelle-a-7-points

Coccinelle auxiliaire, ici, la coccinelle à 7 points