The Riemann zeta function in short intervals [after Najnudel, and Arguin, Belius, Bourgade, Radziwi\l\l, and Soundararajan]