>> "DDH" == De Dianous Herve <herv> writes:
> Christian Marillat wrote:
>>
>> Utilise un autre terminal que gnome-terminal, xterm est un bon choix.
>>
> xterm, Le bon choix !
Ce n'est pas tellement Le choix, mais gnome-terminal ne mérite vraiment
pas le nom de terminal.