The code works for me. Try debugging it by printing out the value of choix just before the switch statement to see what the switch statement is using.
Or have the default: case print out the value...