Wrote documentation content.

There are two distinct targets, even if some content is mostly shared between the two for some parts:

- the user documentation, that will go on the website
- the internal documentation, for the developers