https://123dok.net/document/qo5j18jj-partie-i-deux-exemples-de-fonctions-indéfiniment-dérivables.html