Mathématiques, informatique, politique et poésie
On définit sur ?\(\mathbb{N}\) la relation \(\leq\) suivante :
?
C'est un bon ordre.
