#11 Synch reports not updated for all documents

[Camille Bégnis]

When a synchronisation is incompletely done on a
module, and if that module is included in two
documents, then only one of those documents get the new
synch report.