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 ?