les plugins-dist sur tags/spip-3.0.13/