ajout de SynchMap, maj de userthread.cc, amelioration des tests python
renommage de semaphores pas assez explicites