Kenya : le PIB a connu une hausse de 6,3%