Qu'est-il arrivé à $INTCB ?