Budget mini piscine

Bonjour,

Nous allons lancer un projet de construction de maison bientôt (nous signons le terrain chez le notaire dans les semaines qui viennent). 

Ayant un petit terrain (500m2) nous envisageons une mini-pisicne, histoire de nous rafraichir. Moins de 10m2 donc. 
Dans l'idée, une 4x2,50 (profondeur 1m20 ou 1m40, à voir). Mais ça peut aussi être moins. Entre 8 et 10m2 ça me parait bien. 

L'idée serait de partir sur une coque, avec marche et margelle. Intégrer la mini piscine dans l'espace terrasse (en béton la terrasse).
La piscine serait chauffée par la PAC de la maison. J'aurais un abri de jardin pour le stocker le système de filtration. 

J'aimerais profiter du terrassement de la maison pour faire le trou de la piscine, ça serait dommage de s'en priver. 

A la louche, pour avoir quelque chose de correct, sans monter dans le haut de gamme, sur quel budget devons-nous tabler ? 

Merci