Le 29/08/2017 à 14:51, Mario Castelán Castro a écrit : > I suggest you write to the maintainer of that Debian package. Thanks for the suggestion. In the meantime, I found a bug report that I missed : https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=867166
This is give me the exact answer I need. Adrien
