Exercice 3
Traduire la proposition suivante < P: tout entier naturel est strictement inférieur à son triple. >