Jorge Sampaio (1939-2021)