@Override
public default Nat creerSuccesseur(Nat predecesseur) {
return this.creerNatAvecValeur(predecesseur.val() + 1);
}
@Override
public default Nat creerSuccesseur(Nat predecesseur) {
return this.creerNatAvecValeur(predecesseur.val() + 1);
}