J'ai installé un Bric personnalisé et il apparaît plusieurs fois dans la barre Bric, cependant, il n'apparaît pas dans le gestionnaire d'extensions, donc je ne peux pas désinstaller le Bric.