[0039] Translator’s Note 7·a.

Extension structures are defined by Guitart in a short note called Extenseurs, cf. (Guitart, 1980). (TODO: translate it).