avec mutex