Le directeur général de l'aviation civile, le directeur du budget et le directeur de la mission de gestion et de règlement de Berlin sont chargés de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.