Définition de arithmétiquement