Améliore le menu, meilleur conversion des chaines de charactère en
polynômes.