diff -r 0adf4d507ede -r d642f43eb87d doc/devmanual_fr/chap_serveur_notification.txt
--- a/doc/devmanual_fr/chap_serveur_notification.txt	Thu Nov 13 02:14:41 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-.. -*- coding: utf-8 -*-
-
-Gestion de notifications
-========================
-
-XXX FILLME