L'Angola rend un dernier hommage à José Eduardo dos Santos