# mission_fun.adb

    procedure Mission0 is

       --
       -- Définition d'une fonction qui calcule la norme carrée d'un vecteur.
       --
       function Norme2 (X : Float ; Y : Float) return Float is
          Resultat : Float ;
       begin
          Resultat := X*X + Y*Y ;
          return Resultat ;
       end Norme2 ;

       Calcul_Norme : Float ;
    begin
       -- Pour stocker le résultat de la fonction, on utilise la variable Calcul_Norme, définie avant le begin.
       Calcul_Norme := Norme2 (X => 100.0, Y => 15.0) ;

       -- Noter que ce programme n'affiche rien !

    end Mission0 ;