ModSpec-5 : changement de titre

on devait voir plusieurs modèles mais on n'a vu que les réseaux de Petri