-- ============================================================================
-- 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;