Coccinelle 7 points

<<       148 (sur 171) >>