Les États-Unis partagent leurs renseignements avec le Mali, allié de la Russie