Une Catégorie régulière de réseau de Petri de haut niveau — Serge Haddad