Doit-on conserver la vasque olympique après la période des JO❓