Soient \(D_1,D_2,D_3\), trois droites, et \(\sigma_1,\sigma_2,\sigma_3\) les
\(\frac12\)-tours correspondants.
Démontrer que \(\sigma_1 \circ \sigma_2 \circ \sigma_3\) est un \(\frac12\)-tour
si et seulement si \(D_1,D_2,D_3\) ont une perpendiculaire commune ou sont
parallèles.