tokens: En 1817 , Bolzano établit qu' une partie non vide majorée de réels admet une borne supérieure , dans un mémoire resté malheureusement peu répandu et qui a eu peu d' influence jusqu' aux travaux de Weierstrass vers 1865 .