C'est bon, j'ai trouvé la solution (en fait c'est tout bête) : dans le dossier .minecraft/versions (fermer le launcher au préalable)
1) copier le dossier de la 1.7.2 et le renommer 1.7.1
2) aller dans le dossier 1.7.1
3) supprimer le fichier 1.7.2.jar
4) renommer le fichier 1.7.2.json en 1.7.1.json
5) ouvrir ce dernier fichier et dans la iigne 2, remplacer 1.7.2 par 1.7.1 ; puis sauvegarder
6) lancer le launcher (donc ça va lancer très très loin
), créer un nouveau profil, choisir la 1.7.1, le launcher télécharge la 1.7.1 et c'est bon
En gros, c'est un peu comme pour installer des mods...
@+
Edit : chouette, je suis passé en «Petit chaton mignon»
