Coccinelle: synergy between programming language research and the Linux kernel (Version intégrée)