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