Contribution à la description formelle de protocoles — Jean-Pierre Courtiat