Kenya : trois jours de deuil décrétés par le président après l'attaque de Garissa