Salut,
Ayant plusieurs PC la première fois j'ai installé la 7.5 par-dessus (fainéantise)
Autrement sur les autres j'ai désinstallé la 7.1 avant d'installer la 7.5
Pas de problème constaté avec ces 2 solutions possibles.
Perso, je trouve que c'est quand même mieux de désinstaller l'ancienne version, c'est plus propre
A+