SOIT deux droites parallèles,
Si une troisième droite est perpendiculaire à l'une,
ALORS, elle est perpendiculaire à l'autre !