https://123dok.net/document/qmj6gk58-fonction-complexité-facteurs-théorème-pansiot.html