Décès de Marie-José Crespin : pionnière de la magistrature sénégalaise