Bug Coccinelle est en cours d'exécution sur une pièce de monnaie bitcoin