Correction dans le faux mutex.c