Si deux droites sont parallèles à une même troisième alors...
Si deux droites sont perpendiculaires à une même troisième alors...
Si deux droites sont parallèles et si une troisième est perpendiculaire à l'une alors...