https://123dok.net/document/qvlm66vg-fonction-partie-entière-dérivable-surr-zet-discontinue-surz.html