Quelle est la longueur du segment rouge ?