Une construction if-then-else, dans lequel le traitement est spécifiée pour seul résultat de la branche, l'autre résultat résultant en sautant de ce traitement.