Coccinelle 8C7DFEA919* BRULE