with GAda.Text_IO ;
procedure Mission1 is
package Txt renames GAda.Text_IO ;
procedure Afficher (Arg : Integer) is
begin
-- Compléter ici.
end Afficher ;
X : Integer ;
begin
X := 10 ;
-- Compléter ici.
end Mission1 ;