Pull Ellemme coccinelle

pull Ellemme coccinelle