Combien de temps faut-il pour construire une piscine creusée ?