Kenya : croissance à 5,6% du produit intérieur brut réel en 2023