Nommage des fichiers sources
On cré un répertoire par groupe d'extension.
Le formalt d'un fichier définissant une extension est:
n.nom.sous-type.ext.lazi où:
- n: le numéro de l'extension dans le groupe, on complète par des zéros pour que le numéro est une longueur constante.
- nom: le nom de l'extension
- sous-type: champs optionel, par exemple ce peut être une extension par:
◇ ajout d'un type d'événement: "ev"
◇ ajout de preuves : "deduc"
◇ ajout de notations: "nota"
Exemple: 03.addSimpleRule.ev.ext.lazi