Ernest Hemingway : the old man and the sea ; notes