Théorie de la petite simplification: une approche géométrique [d'après F. Dahmani, V. Guirardel, D. Osin et S. Cantat, S. Lamy]