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