A few days ago, the legendary footballer Edson Arantes do Nascimento, mostly known as Pelé, died at the age of…