Pelé, the Nickname, and Jimmy Magee

He was born Edson Arantes do Nascimento, but is known throughout the world simply as Pelé. The origin of the nickname given to the man who just celebrated his 73rd birthday is far from certain, but, as ever, an Irish footballing myth gained legs over the years. With a movie on his life now shooting in Brazil, could the story make it to the big screen?