Bon, j'ai relancé une installation de Mint ; après tâtonnements, il s'avère que l'installeur n'était pas capable de repartitionner le disque de remplacement (qui avait une partition NTFS unique de 80Go), ce qui le faisait planter le truc en donnant l'impression qu'il se passait quelque chose (mais en réalité, le DVD tournait en boucle x_x).
Après avoir réalisé un partitionnement préalable avec gparted, l'installation a mis une 20 aine de minutes. Les perfs sont très honorables :
- démarrage pré OS : 17 s
- démarrage pré X : 1 min
- démarrage X complet (jusqu'à arrêt du grattage disque) : 40 s
- démarrage Firefox 60 complet : 30 s + chargement page Linux Mint : 10 s
- chargement page NextInpact : 17 s
- chargement LibreOffice 6 Writer complet : 42 s
C'est pas toujours hyper réactif, mais ça reste largement utilisable
Sinon, pour répondre à Folco plus haut, initialement je voulais partir sur de l'Arch Linux + OpenBox (une rolling release sur une vieille machine, je trouvais ça cool ; si je dois me taper de grosses mises à jour annuelles, ça va vite me gonfler), mais Arch 32 bits n'est plus officiel :/