Vous pouvez ensuite renommer le répertoire parent. Une autre possibilité est de le faire directement par le clone :
```bash
git clone repo-name folder-name
```
---
**Remarque préliminaire.** Voir la [documentation générale](https://gitlab.irit.fr/toc/etu-n7/documentation) pour récupérer le cours (clonage d'un projet Git), etc.