Updating the documentation

2 jobs for 47-les-methodes-set_priority-et-unset_priority-semblent-ne-rien-faire in 2 minutes and 56 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
passed #4896
preprod
unit tests

00:01:15

82.0%
 
  Build
passed #4897
preprod
static build

00:01:41