https://123dok.net/document/yng7wegk-anneau-des-séries-formelles.html