Changement d'extension pour les fichiers (.txt -> .rsk)
Merge branch 'master' of https://github.com/stevenremot/RaSKlett
Implémentation de B et de ses tests
Merge branch 'master' of https://github.com/stevenremot/RaSKlett