package GAda.Integer_Text_IO is -- Affiche un message et attend un entier en réponse function FGet(Aff : String) return Integer ; -- Idem sans afficher de message function FGet return Integer ; -- Affiche un entier procedure Put (Aff : in Integer) ; -- Lit un entier (version originale) procedure Get (Item : out Integer) ; end GAda.Integer_Text_IO ;