@parleur Clôturant au passage une demande qui allait fêter ses 10 ans.https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=755088