Dépliage des réseaux de Petri temporels à modèle sous-jacent non sauf.