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