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 ;