Todos los que hemos tenido que limpiar alguna vez una piscina sabemos la pereza que da, sobre todo cuando hace mucho calor.