Sommet ordinaire de la CEDEAO le 3 juillet : Quel sort finalement pour le Mali ?