Corps des magistrats : le juge Dramane Diarra radié, mais « non affecté » par la décision