Mary, c´est ça le problème :
On a besoin de la propri. pour trouver lal ongeur, mais rien ne dit s´ils sont parallèles, dont on doit prouver qu´ils le sont avec la récip., mais il nous manque une longueur, etc...etc...
C´st une boucle, et j´comprends rien !