Théorème d’approximation de Weierstrass par la convolution.