rajout d'un compteur pour savir combien de verrouillage (reentrant locks) ont été effectués