[Boite+Coccinelle+7-Mich%C3%A8le+Go%5B6%5D]