Quel prix pour une mini piscine de 10m2 ?