“ Robert le Diable«.