Ajout de la documentation + Théorie du contrat