[nom] Plus petit majorant. Pour un ensemble `X` de réels, le supremum, s’il existe, est le plus petit réel supérieur ou égal à tous les réels de `X`. L’existence d’un supremum pour les parties bornées supérieurement est toujours vérifiée, et découle de la définition mathématique des nombres réels....