Ajout de SemaphoreManager