L’axiome de la borne supérieure