A 19h20, sur f_inter, la version longue et inédite de la bibliothèque de MF Pisier par V. Josse