Changement des types pour utiliser YakaConstants, et creation de tests pour Declaration