Message p := Vérifier (nom, motDePasse)
Operation
Not assigned
Message to self
No
Sender
--Not Named--
Receiver
--Not Named--