Renommer l'action "Retirer du groupe" en "Retirer du domaine de recherche".
-rw-r--r-- 331 .gitignore
-rw-r--r-- 0 README.txt
drwxr-xr-x - auf_savoirs_en_partage
-rw-r--r-- 2380 bootstrap.py
-rw-r--r-- 1064 buildout.cfg
-rw-r--r-- 103 devel.cfg