with Ada.Text_Io, Ada.Integer_Text_Io;
use Ada.Text_Io, Ada.Integer_Text_Io;

-- Echange de deux valeurs
procedure Ex05a is
   X, Y : Integer;
   Temp : Integer;
begin
   -- saisies
   Put("Veuillez saisir deux entiers x, y : ");
   Get(X); Get(Y);

   -- Algo d'échange
   -- nous sauvegardons la valeur de x dans une variable temporaire
   Temp := X;
   X := Y;
   Y := Temp;

   -- Affichage
   Put("Après échange : X = "); Put(X, 0); Put("; Y = "); Put(Y, 0);
end;