Uri Gabor (HUJI) - A measurable-group-theoretic solution to von Neumann’s problem (following D. Gaboriau and R. Lyons)