Retrait de l'ancienne case « formation déjà prévue dans la répartition annuelle »

La fiche agent portait deux cases à cocher pour la formation depuis l'ajout du
droit à l'enveloppe : celle-ci faisait doublon et disparaît, avec sa colonne
`agent.formation_repartition_annuelle` et tout ce qui la lisait — projection
SQL, création et modification d'agent, formulaires d'administration, JS, et
liste des colonnes obligatoires de SchemaModel.

L'enveloppe de formation ne dépend donc plus que du droit :
AgentModel::trainingEnvelopeMinutes() rend 14 h ou 0.

La colonne est retirée du socle (le CREATE TABLE ne la crée plus sur une base
neuve) et par migration_v7_9c sur les bases existantes. migration_v7_9b perd sa
clause AFTER, qui pointait sur la colonne supprimée et aurait fait échouer
l'installation d'une base neuve ; sa réécriture est sans risque, le script de
migration rejoue un fichier modifié et l'ALTER reste idempotent.

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

database/migration_v7_9c_retrait_formation_repartition.sql

@@ -0,0 +1,17 @@
+-- ============================================================================
+-- PTA — Retrait de `agent.formation_repartition_annuelle`
+-- ============================================================================
+-- Cette colonne portait une seconde case à cocher sur la fiche agent : « une
+-- formation est déjà prévue dans la répartition annuelle, ne pas ajouter
+-- l'enveloppe complémentaire de 14 h ». Elle faisait doublon avec le droit à
+-- l'enveloppe de formation (`droit_enveloppe_formation`, migration v7_9b), seul
+-- conservé : l'enveloppe vaut 14 h si l'agent y a droit, 0 sinon.
+--
+-- Le calcul de `pta_annuel.enveloppe_formation_minutes` ne dépend donc plus que
+-- de `droit_enveloppe_formation` (AgentModel::trainingEnvelopeMinutes()).
+--
+-- Idempotente : rejouable sans effet de bord.
+-- ============================================================================
+
+ALTER TABLE agent
+    DROP COLUMN IF EXISTS formation_repartition_annuelle;