LineHorz a comme argument une expression Xpr. LineHorz trace la droite horizontale y=Xpr. On tape :
On obtient :
