Une construction if-then-else dans lequel traitement est spécifié qu'une seule issue de la branche, les autres conséquences résultant en sautant de ce traitement.