Ajout de doc, diagramme et des formalisations