Robert-le-diable, opéra en cinq actes - Scribe, Eugène, 1791-1861 (Tresse & Stock, 1888)