More documentation. Work in progress.

2024-04-15, Edouard Tisserant