Est-ce que vous aimez l'idée de

construction des entiers naturels