Pour modifier fichier avec VSCode, même principe que par le terminal:
add (pour choisir le fichier qu’on modifie), commit et push