Public swimming pools in France, Paris in particular