Le 28/04/2014 12:17, Jean-Jacques Doti a écrit : > Je soupçonne Bernard de nous cacher certaines informations capitales ;-). > Est-ce que par hasard le shell utilisé serait zsh ? Dans ce cas, il faut regarder par là : > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=732410 Merci Jean-Jacques pour cette réponse pertinente. @+ -- François Lafont