” Robert le diable ",