Message * [ i:= 1..nbr] Création ( no_dossier[i] , voie)

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