Piscine hors-sol démontée chaque hiver : faut-il quand même la déclarer à son assureur ? Jocelyne Pinto 30 septembre 2026