Preuves d'algorithmes distribués par composition et raffinement. (Proofs of Distributed Algorithms by refinement and composition). - Maha Bousabbah (2017)