https://123dok.net/document/yr3je608-démontrer-qu-il-existe-une-infinité-entiers-ordre.html