Coccinelle: synergie entre la recherche en langage de programmation et le noyau Linux