https://123dok.net/document/y4w460wr-l-ensemble-z-des-entiers-relatifs.html