Strict ∞-groupoids are Grothendieck ∞-groupoids - Dimitri Ara (2012)