https://git.spip.net/spip-galaxie/plugins-spip-net
il a été migré ? je le vois pas ici
https://git-lab.spip.net/spip-galaxie