ajout des getter and setter dans Options.java