Opéra National de Paris: Ambroise Thomas's Hamlet