La nouvelle piscine d'Ostende a été inaugurée