https://123dok.net/document/yng0wj1l-catégories-de-peano-et-catégories-algorithmiques-récursivité.html