Le Calcul d'invariants dans les réseaux de Petri à prédicats transitions uniaires — Nicolas Trèves