Script pour installer Géodiversité sous git Le script doit être exécuté depuis le répertoire où vous souhaitez installer Géodiversité (SPIP branche 4.2 git et les plugins nécessaires).