Montrer que des droites de l'espace sont orthogonales