https://www.lojiciels.com/comment-saisir-des-caracteres-unicode-sous-linux/
Comment saisir des caractères Unicode sous Linux ?