Un type immuable qui peut contenir une valeur ou une référence. Chaque instance de ce type contient soit une valeur ou une référence non nulle, soit ne contient rien (auquel cas nous disons que la référence est "absente"; on ne dit jamais qu'elle "contient une valeur nulle").