Définitionsintervalle double