Topologie (L3 maths)
Une preuve dans ZF du théorème de Stone-Weierstrass.