Swimming-pool pump