Source: http://math.univ-lyon1.fr/irem/IMG/pdf/seance_6_angle_droit_perpendicularite.pdf