Une expression logique spécifiant une ou plusieurs conditions qui doivent être respectées chaque fois qu'un point particulier dans une boucle de programme est exécutée.