https://123dok.net/document/y4w23kek-composition-dérivable-fois-dérivable-continue-récurrence.html