L'IDE d'Arduino n'accepte les lettres ô ou ö, etc.

Je suis sous Linux Debian depuis 10 ans au moins. Je n'ai aucun problème avec les autres programmes.
Sont concernées seulement quelques lettres : celles avec une touche morte (tréma ou accent circonflexe) comme ï, ë, ê ô, les autres caractères accentués passent bien. Cela ressemble à un problème de gestion de clavier car le copier-coller de ces caractères marche bien.

Le problème existe avec arduino 1.0.1 livré avec Debian et avec la version officielle 1.0.3.
Je n'ai pas de problèmes avec Processing 1.5.1.

Le problème est mineur mais agaçant.