Cette procédure permet de saisir un entier avec une validation pour s'assurer qu'il est compris entre 5 et 10.
Procédure saisir (@m:entier) Début Répéter Ecrire ("m="); Lire(m) Jusqu'à (m dans[5..10]) Fin