TP1LapinWinnie AutoProved /hometu/etudiants/i1b08a/Romain/agl/TP1LapinWinnie/spec/TP1LapinWinnie.mch 7 NbObv NbPO NbPRi NbPRa NbUn %Pr Initialisation 0 3 0 3 0 100 ajout_etudiant 4 1 0 1 0 100 ajout_sport 4 1 0 1 0 100 ajout_pratique 3 1 0 1 0 100 supprimer_etudiant 2 2 0 2 0 100 supprimer_sport 2 2 0 2 0 100 supprimer_pratique 3 1 0 1 0 100 Quel_sport 4 0 0 0 0 100 Quels_etudiants 4 0 0 0 0 100 TP1LapinWinnie 26 11 0 11 0 100