ur op. “ Hobert le Diable " ).