Par défaut, une procédure renvoie la valeur de la dernière
expression évaluée. Par exemple, la procédure x -> x^2
renvoie la dernière expression évalué, c'est-à-dire le carré
de l'argument.
mymax := proc(a,b) if a>b then a else b fi: end;
Le déroulement du code d'une procédure est interrompu par
l'instruction RETURN(). La valeur de retour est alors la valeur
passée en argument de la fonction RETURN().