Opérations effectuées pour le compte du Trésor — France. Direction du budget et de la comptabilité