Nous conseillons d'ajouter aux dimensions de votre piscine environ 15 à 30 cm par côté afin de couvrir vos margelles. Cela évitera que les feuilles ne puissent se glisser entre votre piscine et votre filet. Après, tout contexte étant différent, il n'y pas de règle en soit. Il s'agit de bonnes pratiques habituelles. Les dimensions étant sur mesures, ce sera évidemment comme vous voudrez.
Vos dimensions finales pourraient donc être situées entre 10.3 x 5.3 m et 10.6 x 5.6 m.