https://www.medusacorsica.com/2010/09/coccinelle/