Le calcul peut-il etablir que le nombre des verites, puisqu'exprimees a l'aide des ressources d'un alphabet fini, est lui aussi fini et que les hommes en viendront a la longue a ne rien pouvoir dire qui ne soit une redite? Alors serait atteint l'Horizon de la doctrine humaine, sur lequel Leibniz medite en 1693. Mais le reel ne se laisse pas enfermer dans les arrangements finis de l'alphabet. Pour qui connait le detail des choses, le monde ne peut etre astreint a l'eternel retour. Le progres des esprits est dans la croissance sans fin du bonheur de mieux savoir, plus ultra. Les deux opuscules sont publies ici avec d'autres fragments qui en eclairent les tenants et aboutissants.