::= (< parametri >){ }
il tipo della funzione deve coinci-
dere col tipo dellíespressione che
costituisce il corpo della funzione