https://123dok.net/document/q7w44wov-généralités-quelconques-ii-régularité-fonction-répartition.html