Staging instance, all changes can be removed at any time
https://archive.softwareheritage.org/browse/directory/ec4ae097465d9ea51589537ea94b2ea50e8d134d/?origin=https://hal.archives-ouvertes.fr/hal-02309043
Arrived from: https://hal.inria.fr/hal-02309043v1
Migrated from T2141 (view on Phabricator)