Bien... La nouvelle version de Linux Mint est sortie. (Elle est sortie aussi en Cinnamon).
Autant j'avais détesté la 18.2, autant je pense passer à la 18.3.
(Quand j'aurais le temps, je ferai sans doute une réinstallation complète et je mettrai à jour ma page http://sebsauvage.net/wiki/doku.php?id=mint_customization).
Tout m'a l'air bien, même si je tique un peu sur les logiciels mis en avant (Skype, etc.). Ahum.