C’est quoi un nombre entier non nul ?