Ce répertoire est GÉNÉRÉ (SPEC.md §4, §11.2).

Chaque promotion y écrit un fichier `<nom>.lean` et régénère la zone marquée de
`Bibliotheque.lean`. Rien ici ne s'édite à la main : une promotion annulée reconstruit
l'état précédent, et une modification manuelle serait écrasée à la prochaine.

Ce fichier n'existe que pour que le répertoire soit versionné même vide.
