https://123dok.net/document/dzxrm5nz-une-approche-de-la-notion-de-limite-dans-un-environnement-base-sur-un-systeme-de-calcul-formel.html