Intergemeentelijk Zwembad Dok~3, piscine à Aartselaar