[ada] généricité et type enumere

Bonjour

Voila je dois effectuer un projet en ADA et j'aurai besoin d'aide sur la généricité et les types enumeres.

J'effectue la saisie de mes types dans un package type_enum.
Seulement celle ci ne fonctionne pas je pense qu'il y a une erreur dans ma boucle.
Et meme lorsque je lève l'exception j'ai toujours le constraint error qui apparait....

Si quelqu'un a une idée j'espère etre assez clair.
Voici le code:

 PROCEDURE Saisi (Enum : OUT Element) IS
      K : Integer;
      S : String (1 .. 9);
   BEGIN
      LOOP
         BEGIN
            Get_Line(S,K);
            Enum:=Element'Value(S(1..K));
            EXIT;
      --   EXCEPTION
       --     WHEN OTHERS=>
       --        Put("erreur");
         END;
      END LOOP;
   END Saisi;

Merci