Si deux droites sont perpendiculaires à une même troisième alors elles sont parallèles.