Sp?cification D Un Protocole de Communication