https://123dok.net/document/yd78dk1j-sur-la-fonction-semi-continue.html