Contribution à l'utilisation des réseaux de Petri à prédicats — Anne Gascard