Lecture et manipulation des réseaux de Petri au format CAMI