Avancée sur Carvalho. Règles 2, 3 et 4 OK. Demande entrée/sortie OK.
Reste SC et receiveMessage.