https://123dok.net/document/zpnkjrjr-exercice-dérivabilité-points.html