Harish-Chandra's character formula