Preuves d'Algorithmes Distribues par Composition et Raffinement