Re: correctif pour mozilla firefox

[didier gaumet]

plus besoin de bricoler, la version modifiée par Mozilla pour corriger
le problème est arrivée dans Stretch.