On the homotopy theory of Grothendieck ∞-groupoids - Dimitri Ara (2012)