Précédent : Plate-forme rusken Remonter : Algorithmes distribués et protocoles Suivant : Détection de propriétés