I've just read this in a book about English culture I'm reading, didn't have any idea, I always thought "pardon?" was the most formal way of saying "what?"