ptitdernier avec gnome-shell j'avais réussi à obtenir un rendu de police assez acceptable. avec mate ce n'est plus le cas ; quelqu'un a-t-il trouvé une solution ?
