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