https://123dok.net/document/z1dwxm33-théorème-de-stone-weierstrass.html