Remplacement mutex par semaphore