Nombres et demi-droite graduée.