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