Opera di Roma. Pinocchio, il teatro musicale di Lucia Ronchetti