Kenya : 234 000 tonnes de riz paddy produites en 2023