Don Juan på Grand opéra i Paris.