Message p := Vérifier (nom, motDePasse)

OperationNot assignedMessage to selfNo
Sender--Not Named--Receiver--Not Named--