Rehabilitation of walking for paraplegic patients by means of a treadmill.