Mali : va-t-on vers un départ des soldats allemands ?