Montre que deux droites avec m_1 m_2 = -1 forment un angle de 90° via la formule de la tan