Un type de données dont les membres peuvent assumer un ensemble de valeurs distinctes. Type discret de A peut être un type énumération ou un type integer.