Note : Ctrl + Maj + U pour faire les caractères unicodes sous Gnome/Ubuntu jeudi 21 novembre 2013 à 20:46 Je viens de découvrir, par hasard :-O !