TP1LapinWinnie Documentation de projet i1b08a 6 Decembre 2006 INTRODUCTION La documentation est effectuée sur le projet : TP1LapinWinnie. STRUCTURE GENERALE Introduction Graphe de dépendance Métrique DESCRIPTION DES COMPOSANTS Composant TP1LapinWinnie Présentation Le composant traité dans ce paragraphe est : TP1LapinWinnie. Métrique Règles ajoutées à la preuve Source B DICTIONNAIRE