ajout d'un example de preuve et fin de la doc
Finitions et réorganisations. Création de l'app librairy