Modélisation et validation des protocoles multiniveaux dans les systèmes localement distribués — Michel Devy