L'éphéméride du 20 octobre : en 2011, la mort de Kadhafi clôt le « printemps arabe »