Question: Are Robert le diable and Ormindo both operas?
Sentence (from "Château de Robert le Diable"): It is more properly, though less commonly, known as the Château de Moulineaux.
Relevant evidence: No