LineVert a comme arguments une expression Xpr. LineVert trace la la droite verticale x=Xpr. On tape :
On obtient :
