Changement des attribut de type int en variable, et ajout d'une methode permettant de verifier si une contrainte est satisfaite