Bon, comme je n'ai pas envie de
casser quelque chose pour un petit détail, j'attendrai de faire un mise à jour de mon système, ce qui n'est pas pour tout de suite, car j'ai une machine qui a six ou sept ans, et est trop limite pour la 14.04, même probablement Xubuntu qui me plait bien.
A+
