Rareté numérique prouvable dans un monde infini