diff -r 000000000000 -r b97547f5f1fa doc/html-build/.doctrees/devmanual_fr/chap_definition_workflows.doctree Binary file doc/html-build/.doctrees/devmanual_fr/chap_definition_workflows.doctree has changed