pense bête: j'ai tendance à vouloir utiliser 'git reset' par réflexe pour restaurer un seul fichier, mais ça ne marche PAS.
Il faut utiliser:
git checkout filename # fichier non commité
ou
git checkout -- filename # fichier commité
suivant que le fichier a été commité ou non