Title: Robert-le-diable, opéra en cinq actes