Regarder le protocole virtuel $#VirtualProtocol