Part de la rente minière dans le PIB national