Zorume 
J'suis passée à Linux Mint ce week-end et j'ai eu l'horreur de découvrir qur les codes Alt ne fonctionnaient pas, j'ai enfin trouvé un bon article pour taper les caractères spéciaux sous Linux.
https://blog.rom1v.com/2009/02/taper-des-caracteres-speciaux-sous-gnulinux/