. . . "Ruy Blas, Op. 95" . .