Stav dette: PINOCHO. El cocodrillo