SpirHAL : un connecteur HAL/KSUP dynamique

https://openarchiv.hypotheses.org/4254