L'Allemagne décide un retrait progressif de ses soldats du Mali