Mali : au moins 10 militaires tués dans l’attaque d’un camp de l’armée (sources sécuritaires et locales)