Délai installation piscine coque : combien de temps prévoir ?