exemple de fichier .petri1 crée avec l'éditeur généré