Droit à l'enveloppe de formation par agent, et motif « Formation » filtré à la saisie

Nouvelle colonne `agent.droit_enveloppe_formation`, cochée par défaut, saisie à
la création de l'agent et modifiable depuis sa fiche. Un agent sans ce droit :

- ne voit plus le motif « Formation » dans le sélecteur de motif de l'éditeur de
  planning ni dans le modal de la vue individuelle ;
- se voit refuser toute affectation de ce motif par le serveur, avec un message
  qui nomme le motif et l'agent (save_planning.php et update_agent_entry.php) ;
- a une enveloppe de formation de 0 min au PTA annuel, et une ALERTE
  FORMATION_SANS_DROIT si des heures de formation subsistent dans son planning.

À ne pas confondre avec `formation_repartition_annuelle`, qui existait déjà :
celle-ci dit que la formation est déjà comptée dans la répartition annuelle —
l'agent y a droit, l'enveloppe complémentaire n'est simplement pas ajoutée. Les
deux règles sont désormais rassemblées dans AgentModel::trainingEnvelopeMinutes(),
qui remplace les deux calculs « 840 ou 0 » jusque-là dupliqués.

Le motif interdit reste affiché lorsqu'il est déjà celui de la plage en cours
d'édition : le retirer de la liste changerait silencieusement le motif d'une
saisie existante. C'est le contrôle de saisie, puis le serveur, qui demandent
alors de corriger la plage.

La migration est nommée v7_9b et non v7_10 : les fichiers sont joués dans
l'ordre alphabétique, où « v7_10 » passerait avant « v7_8 ».

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

app/Models/MotifModel.php

@@ -4,6 +4,8 @@ declare(strict_types=1);
 
 namespace App\Models;
 
+use App\Core\MotifCategories;
+
 final class MotifModel extends BaseModel
 {
     public function allActive(): array
@@ -23,4 +25,29 @@ final class MotifModel extends BaseModel
             $this->pdo->query('SELECT id_motif FROM motif_planning WHERE actif = TRUE')->fetchAll(\PDO::FETCH_COLUMN)
         );
     }
+
+    /**
+     * Motifs réellement affectables à un agent : « Formation » disparaît de la
+     * liste dès lors que l'agent n'a pas droit à l'enveloppe de formation.
+     */
+    public function allActiveForAgent(array $agent): array
+    {
+        if (AgentModel::hasTrainingRight($agent)) {
+            return $this->allActive();
+        }
+
+        return array_values(array_filter(
+            $this->allActive(),
+            static fn(array $motif): bool => !MotifCategories::requiresTrainingRight((string) $motif['code'])
+        ));
+    }
+
+    /** @return int[] */
+    public function activeIdsForAgent(array $agent): array
+    {
+        return array_map(
+            static fn(array $motif): int => (int) $motif['id_motif'],
+            $this->allActiveForAgent($agent)
+        );
+    }
 }