debugging choices field and getTypeTete in DevisController