Linux Mint abandonne son rythme de sortie : vers un modèle 'quand c’est prêt' ?