RIP: SIR ROGER BANNISTER