https://123dok.net/document/q054lgrv-clˆ-oture-alg-ebrique-extension-alg-ebrique-montrer.html