Exports PDF : total mensuel à fin de mois et mise en avant de la régularisation

Report mensuel :
- « Total parcouru sur l'année » devient « Total annuel (à fin de mois) »
  et affiche le cumul jusqu'au mois de restitution inclus
  (Total_Annuel_Partiel, via ITotauxService)
- la tranche de barème (coefficient, base, TOTAL IK du mois) est
  déterminée sur ce même cumul, cohérent avec le Panneau_Totaux du site
  et stable même si le PDF est édité plus tard

Report annuel :
- ligne « Formule réelle » centrée (comme la régularisation)
- ligne « Régularisation (réel − payé) » agrandie (14 pt, gras) pour la
  mettre en avant comme action finale

Test d'intégration PDF mis à jour (injection d'ITotauxService). Specs
requirements/design-requirements/design synchronisées (Exigence 7).

backend/SchotzIadKmTracker.Tests/PdfExport/PdfServiceIntegrationTests.cs

@@ -50,6 +50,7 @@ public class PdfServiceIntegrationTests : IDisposable
 
         var vehiculeRepository = new VehiculeRepository(_context);
         var vehiculeService = new VehiculeService(vehiculeRepository, _context);
+        var totauxService = new TotauxService(_context, vehiculeService, precisionDistanceService);
 
         var adresseCacheRepository = new AdresseCacheRepository(_context);
         var adresseCacheService = new AdresseCacheService(adresseCacheRepository, _context);
@@ -65,6 +66,7 @@ public class PdfServiceIntegrationTests : IDisposable
             montantRegleService,
             remboursementService,
             precisionDistanceService,
+            totauxService,
             _context);
     }