Est-il nécessaire d’installer une alarme pour une piscine hors-sol ?