Mali: les enseignants-chercheurs cessent leur grève, tout reste à négocier