Implémentation des théorèmes

Bonjour à tous,

Après quelques heures de travail acharné avec Aldric et Thomas, voici une petite explication sur le fonctionnement des théorèmes et leur implémentation pour le programme Java.
L'intérêt de ces fichiers étant d'être éditables et compréhensibles hors programme. Ces fichiers contiennent les prérequis pour valider le théorème ainsi que l'objectif de celui-ci.

- Les preuves des théorèmes seront enregistrées dans des fichiers .th
- La syntaxe adoptée pour en rendre la compréhension universelle est la suivante, conformément au projet prêté par Mr Michelucci :
-- Une ligne par instruction et une instruction par ligne (par exemple un point par ligne seulement).
-- Un point se déclare de cette façon : "PT nom coordsX coordsY;".
-- Un polygone : "POLYGONE point point point ...;" en ayant déclaré les points avant.
-- Pour déclarer que 3 points sont alignés : "ALIGN point point point;".
-- Pour déclarer une intersection : "INTER point droite droite;".
-- Finir le théorème par son objectif : "CONCLUSION", sauter une ligne puis metre les instructions de conclusion, par exemple un alignement ou une intersection.
-- Ajouter des commentaires dans le fichier : "/* commentaire */".

Thomas s'occupe, en attendant le travail de Miloud et Jérémy, d'écrire l'algo qui va permettre d'utiliser ces théorèmes dans le programme (lecture et interprétation).
Je m'occupe de les mettre textuellement sur les pages Web. Il faudra ensuite les agrémenter avec des images et vidéos, que je ferais avec Aldric une fois que le texte sera rempli.

Voilà, je pense qu'il y a tout, des questions ?

EDIT : les coordonnées des points ne sont utiles puisqu'on ne veut pas les tracer mais juste en vérifier l'existence.

Mise à jour :
9 théorèmes ont été transcrits en .th, pour le dixième c'est un peu plus compliqué mais ça devrait suffire de toute façon. Je passe à l'étape "explication de théorèmes pour les pages web".
Je vais mettre les .th dans le trunk d'ici la fin du week end pour que Thomas puisse tester son code plus tard.