Add assertions, files and I/O

Voilà, hésiter pas à me dire si j'ai mal utilisé certaines fonctionnalités de Latex ou quoi :)