ajout de synchro pour les allocations de mémoire virtuelle