Paiement du principal de la dette publique par type de creancier (en milliards de FCFA) entre 2007 et 2013