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