diff -r 8c5de7159cab -r 144c0a68953d doc/html-build/.doctrees/devmanual_fr/sect_stdlib_schemas.doctree
Binary file doc/html-build/.doctrees/devmanual_fr/sect_stdlib_schemas.doctree has changed