Définitionsborne supérieure