Ajout des commentaires dans le code

app/Views/layouts/header.php

@@ -1,4 +1,21 @@
 <?php
+/**
+ * En-tête HTML commun à toutes les pages : <head>, bandeau et barre de navigation.
+ *
+ * LA NAVIGATION EST DÉFINIE À DEUX ENDROITS, à tenir cohérents :
+ *  - $navigation ci-dessous, qui associe une clé de page à son URL et son libellé ;
+ *  - acces_role_page en base, qui décide des pages RÉELLEMENT autorisées.
+ * Une page absente de $navigation n'apparaîtra jamais, même autorisée en base ;
+ * une page absente de la base n'apparaîtra pas non plus, même déclarée ici.
+ *
+ * $navigationGroups n'est qu'un regroupement d'affichage : une page oubliée
+ * dans les groupes reste atteignable via le groupe « Autres » (voir plus bas).
+ *
+ * VERSION DES ASSETS : le `?v=` de la feuille de style est à incrémenter après
+ * toute modification de CSS ou de JS, ICI, dans layouts/footer.php ET dans
+ * Views/pages/role.php, qui porte son propre <head>. Sans cela, nginx
+ * (expires 7d) et les navigateurs continuent de servir l'ancienne version.
+ */
 /** @var string $pageTitle */
 /** @var string $pageSubtitle */
 /** @var string $activePage */