. . . "opera comique" .