Eusebio, la légende du foot portugais, est mort