«L'Olimpiade», l'opéra-sport de Vivaldi au Théâtre des Champs-Élysées à Paris