Morto a 71 anni, fu bandiera Benfica. Ronaldo, per sempre eterno