J'ai installé TeX Live via le script Je préfèrerais utiliser à présent les paquets fournis par ma distribution Linux (debian, pour ne pas la nommer). Comment faire pour désinstaller proprement mon installation « à la vanille » ? Posée 12 Sep '19, 01:16 Jean-Michel Pathe ♦♦ |