Smoothing low-dimensional algebraic cycles [after Koll\'ar and Voisin]

Let X be a smooth projective complex algebraic variety. An old question of Borel and Haefliger asks whether any (possibly singular) algebraic subvariety of X is homologically equivalent to a linear combination with integral coefficients of smooth algebraic subvarieties of X. In general, this question is too optimistic, and counterexamples have been known for a long time. The aim of this survey is to explain how J\'anos Koll\'ar and Claire Voisin have provided a positive answer to Borel and Haefliger's question, for subvarieties of dimension less than half the dimension of X.