Mathématiques, informatique, politique et poésie
Toute partie non vide et majorée de ?\(\mathbb{R}\) admet une borne supérieure.
