Piscine coque horizon 9 – 9,50 × 4,00 m