Don Quichotte, à l'Opéra Bastille