Amélioration de la définition du verrou récursif