Recherche:

C'est justement la boucle 1..1 qui pose problème dans ce cas là : un exit dans le for fait sortir du for mais pas de la boucle infinie, donc si on laisse le code tel qu'il est on boucle ad libitum de...

Vu que ça n'a pas encore été proposé, je suggère le recours à une exception :



next : exception; -- dans un block déclaratif
[...]
loop
begin
[...]
if condition then