Bnot fixes ; Missing énoncés fixes.

docs/final_output.md

@@ -165,8 +165,9 @@ Every label in `score.json` has an object containing exactly four fields:
   images; return publication uses current `score.json` values for this field.
 
 `info.json` is always exported, even when individual JPEGs or the named PDF are
-disabled. `touched` describes the source filtered PDF. In normal `Anot` and
-`Bnot` flows, no filtered PDF is produced and all `touched` values are false.
+disabled. `touched` tracks BGnot filtered-PDF membership. In `Anot` and
+`Bnot` flows, all `touched` values remain false. Bnot also produces a filtered,
+paginated PDF with context, questions and solutions, alongside its filtered JPEG.
 
 This file replaces `touched.json` and the internal `answer_labels.json` manifest.
 Recompile old annotations, then run `giving-names`; successful regeneration and
@@ -273,8 +274,8 @@ ones. Weighting and the final overall mark belong to the separate grading flow.
   source if `score.json` and either `Concat.jpg` or `info.json` exist,
   otherwise it tries `Anot/CopieXX`. This also permits returns for an entirely
   empty copy. It links the PDF only if `Concat_F.pdf` exists. The normal
-  `Bnot` reader produces a filtered `Concat_F.jpg`, and simple annotation produces
-  `Concat.jpg`; these paths do not guarantee a filtered PDF.
+  `Bnot` reader produces both `Concat_F.jpg` and `Concat_F.pdf` for nonempty
+  filtered answers. Simple annotation produces `Concat.jpg` without a filtered PDF.
 - Preparing returns removes disabled named outputs, and removes older named
   outputs whose source is now absent, including broken symlinks.
 - `add-final-score` writes to `FINAL_SCORE_OUTPUT_DIR/<evaluation>/`. It stamps
@@ -324,7 +325,7 @@ applied snapshot, not the draft. Selective redo preserves unaffected baseline
 layers so previous transfers are never included twice.
 
 The operation rebuilds per-label JPEGs, `info.json`, `Concat.jpg`, and the filtered
-BGnot PDF or Bnot JPEG. Every changed non-empty body is included in the filtered
+BGnot PDF or Bnot JPEG and PDF. Every changed non-empty body is included in the filtered
 output, with its destination label's supplementary material. `score.json` is not
 modified. The GUI marks downstream return preparation stale. Rerun `giving-names`
 without `--update` to refresh both full outputs and individual answer exports.