with GAda.Text_IO ; procedure Mission2 is package Txt renames GAda.Text_IO ; function Calcul return Integer is Resultat := 0 ; begin return Resultat ; end Calcul ; Y : Integer ; begin -- Corps du programme Y := 10 ; end Mission2 ;