Dette publique de la France : légère révision à la baisse au premier trimestre 2025, à 3 345,4 milliards d'euros