Méthodes et théories pour la résolution des problèmes de constructions géométriques avec application a plus de 400 problèmes.