Documents Savoirs Développement prouvé de structures de données sans verrou, Provably correct lockfree data structure Loïc Fejoz