https://123dok.net/document/y8g23rv0-ind-ecidabilit-de-la-terminaison-syst-eme-ecriture.html