https://123dok.net/document/zgw90do8-effectivité-dans-le-théorème-d-irréductibilité-de-hilbert.html