Ajout de formalisme

Ajout très gros, de beaucoup de fichier