Robert le diable, un héros emblématique