Abstract: We explain relations between the two, starting from Malcev-Grothendieck's theorem over the complex numbers, to Gieseker's conjecture in the projective smooth case in characteristic $p>0$, and work in progress in the non-proper case