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