Text this: Methodes et theories pour la resolution des problemes de constructions geometriques