Git et plugins

Bonjour à tous, je suis désolé, j’ai du mal avec Git, pour récupérer des plugins.
Je veux récupérer Formidable. En console, je navigue jusqu’au dossier plugins/auto, et j’écris :

git clone spip-contrib-extensions/formidable - formidable - SPIP on GIT

Tout s’installe dans le bon dossier.
Mais dans mon site, je m’aperçois que j’ai chargé une version 5.0 de Formidable, et l’interface me dit qu’il s’agit d’une version incompatible.
Comment faire pour récupérer une version 4 de Formidable ?
Merci !
Éric LM

Il faut basculer sur une branche qui correspond à une version antérieure.

Pour lister toutes les branches :

git branch -a

Ce qui donne :

* master
  remotes/origin/HEAD -> origin/master
  remotes/origin/check_reponse
  remotes/origin/formidable_request_ou_base
  remotes/origin/master
  remotes/origin/v0
  remotes/origin/v1
  remotes/origin/v2
  remotes/origin/v3
  remotes/origin/v4

Et pour basculer sur une des branches listées, par exemple la v4 :

git checkout v4
1 « J'aime »

Merci ! Je teste !
Eric LM

CA MARCHE !!!
Trop merci ! Bon après-midi !
Éric LM