Quelques techniques de tissage etc by Nooteboom