Ett efterspel till Opéra Comiques brand.