https://123dok.net/document/y964no8j-partie-eralit-fonctions-lipschitziennes.html