About Hrushovski and Loeser's work on the homotopy type of Berkovich spaces - Antoine Ducros (2013)