Redemptor hominis: encíclica programática - Juan Pablo II (Herder, 1980)