Que se passe-t-il lorsqu'il n'y a pas d'eau dans le bassin ? La pompe s'arrête-t-elle automatiquement ?