Merge branch 'development/doc' into 'master'

Update documentation

See merge request !101
7 jobs for 0.1 in 19 minutes and 21 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Build
passed distcheck-linux-clang10-debug #98805

00:15:48

passed distcheck-linux-gcc10-debug #98806

00:19:20

passed distcheck-linux-gcc9-debug-asan-ubsan #98804

00:14:49

passed distcheck-linux-gcc9-release #98803

00:11:04

passed documentation #98807

00:04:20

manual windows-debug #98802
windows allowed to fail manual
 
  Bench
manual distbench-linux-gcc9-release #98808
pylene-benchmarks allowed to fail manual