Réalisabilité Classique et protocoles réseaux. (Classical Realizability and network protocols). - Philippe Hesse (2008)