» Don Juan » , operai