Les gens de Smiley / Le Carré, John (1931-2020)