Les getters sont générés par défaut en Nit, du coup y'a pas besoin de les créer ici