Ajout du test de getvalue sur les semaphores